1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index 72206afb8..95fe03c82 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -669,7 +669,7 @@ public:
     * This function is called when an attribute is set by a user.  In SMT-LIBv2 this is done
     *  via the syntax (! n :attr)
     */
-  virtual void setUserAttribute( std::string& attr, Node n ) {
+  virtual void setUserAttribute(const std::string& attr, Node n) {
     Unimplemented("Theory %s doesn't support Theory::setUserAttribute interface",
                   identify().c_str());
   }