diff options
Diffstat (limited to 'src/libstore/profiles.hh')
| -rw-r--r-- | src/libstore/profiles.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/profiles.hh b/src/libstore/profiles.hh index 3cad08dc5265..5fa1533de311 100644 --- a/src/libstore/profiles.hh +++ b/src/libstore/profiles.hh @@ -39,7 +39,7 @@ void deleteGeneration(const Path & profile, unsigned int gen); void deleteGenerations(const Path & profile, const std::set<unsigned int> & gensToDelete, bool dryRun); -void deleteGenerationsGreaterThan(const Path & profile, const string & max, bool dryRun); +void deleteGenerationsGreaterThan(const Path & profile, const int max, bool dryRun); void deleteOldGenerations(const Path & profile, bool dryRun); |