From 843693ecaa8190221e78d29ba0338e800b663f89 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Tue, 7 Aug 2012 22:47:22 +0000 Subject: [PATCH] small fixes --- src/util/sexpr.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 children) : + SExpr(const std::vector& 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: -- 2.30.2