From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Tue, 7 Aug 2012 22:47:22 +0000 (+0000)
Subject: small fixes
X-Git-Tag: cvc5-1.0.0~7880
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=843693ecaa8190221e78d29ba0338e800b663f89;p=cvc5.git

small fixes
---

diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index 9db9a34ce..b99eda5ca 100644
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -104,7 +104,7 @@ public:
     d_children() {
   }
 
-  SExpr(const std::vector<SExpr> children) :
+  SExpr(const std::vector<SExpr>& children) :
     d_sexprType(SEXPR_NOT_ATOM),
     d_integerValue(0),
     d_rationalValue(0),
@@ -124,14 +124,14 @@ public:
   /** Is this S-expression a string? */
   bool isString() const;
 
-  /** Is this S-expression a string? */
+  /** Is this S-expression a keyword? */
   bool isKeyword() const;
 
   /**
    * Get the string value of this S-expression. This will cause an
    * error if this S-expression is not an atom.
    */
-  const std::string getValue() const;
+  std::string getValue() const;
 
   /**
    * Get the integer value of this S-expression. This will cause an
@@ -173,7 +173,7 @@ inline bool SExpr::isKeyword() const {
   return d_sexprType == SEXPR_KEYWORD;
 }
 
-inline const std::string SExpr::getValue() const {
+inline std::string SExpr::getValue() const {
   AlwaysAssert( isAtom() );
   switch(d_sexprType) {
   case SEXPR_INTEGER: