From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 27 Jun 2013 21:06:56 +0000 (-0400)
Subject: Fix minor warnings found by recent clang/gcc.
X-Git-Tag: cvc5-1.0.0~7287^2~79
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d2a89a3f1f2529fa5dafbbd2974d2f8745b9bb46;p=cvc5.git

Fix minor warnings found by recent clang/gcc.
---

diff --git a/src/expr/attribute.h b/src/expr/attribute.h
index 969843ddd..721a09403 100644
--- a/src/expr/attribute.h
+++ b/src/expr/attribute.h
@@ -446,7 +446,7 @@ struct HasAttribute<false, AttrKind> {
   static inline bool hasAttribute(const AttributeManager* am,
                                   NodeValue* nv) {
     typedef typename AttrKind::value_type value_type;
-    typedef KindValueToTableValueMapping<value_type> mapping;
+    //typedef KindValueToTableValueMapping<value_type> mapping;
     typedef typename getTable<value_type, AttrKind::context_dependent>::
               table_type table_type;
 
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 190eb19ba..2dc022f0f 100644
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -732,7 +732,7 @@ symbolicExpr[CVC4::SExpr& sexpr]
 term[CVC4::Expr& expr, CVC4::Expr& expr2]
 @init {
   Debug("parser") << "term: " << AntlrInput::tokenText(LT(1)) << std::endl;
-  Kind kind;
+  Kind kind = kind::NULL_EXPR;
   Expr op;
   std::string name;
   std::vector<Expr> args;