Fix minor warnings found by recent clang/gcc.

diff --git a/src/expr/attribute.h b/src/expr/attribute.h
index 969843ddd7db95b5ef6167ce800766fc603eca13..721a0940385cee2826db64e3775799ea134008a9 100644 (file)
--- 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 190eb19bade61ecf765c37935ba87ccbc49bd2e2..2dc022f0f77580dfe689b571139bb8aa41782df2 100644 (file)
--- 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;