From 8016caa5777efe0715d7a549bd38be264e32be1b Mon Sep 17 00:00:00 2001 From: Gabor Horvath Date: Sat, 23 Dec 2023 12:02:41 -0800 Subject: [PATCH] Added a missing change from a header. --- src/ast/analysis/Aggregate.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/analysis/Aggregate.h b/src/ast/analysis/Aggregate.h index 7ab9f99479b..815e3d303d8 100644 --- a/src/ast/analysis/Aggregate.h +++ b/src/ast/analysis/Aggregate.h @@ -50,12 +50,12 @@ std::set getVariablesOutsideAggregate(const Clause& clause, const A * Find a new relation name. I use this when I create new relations either for * aggregate bodies or singleton aggregates. **/ -std::string findUniqueRelationName(const Program& program, std::string base); +std::string findUniqueRelationName(const Program& program, const std::string& base); /** * Find a variable name using base to form a string like base1 * Use this when you need to limit the scope of a variable to the inside of an aggregate. **/ -std::string findUniqueVariableName(const Clause& clause, std::string base); +std::string findUniqueVariableName(const Clause& clause, const std::string& base); /** * Given an aggregate and a clause, we find all the variables that have been * injected into the aggregate.