From 0bb1e723d7ad019a1f477d171f8754b5ab6c6fc1 Mon Sep 17 00:00:00 2001
From: Gabor Horvath <xazax.hun@gmail.com>
Date: Sat, 23 Dec 2023 12:02:41 -0800
Subject: [PATCH] Added a missing change from a header.

---
 src/ast/analysis/Aggregate.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/analysis/Aggregate.h b/src/ast/analysis/Aggregate.h
index 7ab9f99479b..150c0bd40c1 100644
--- a/src/ast/analysis/Aggregate.h
+++ b/src/ast/analysis/Aggregate.h
@@ -50,7 +50,7 @@ std::set<std::string> 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.