diff --git a/src/muz/base/dl_util.h b/src/muz/base/dl_util.h
index f20a77bda..78ce453ec 100644
--- a/src/muz/base/dl_util.h
+++ b/src/muz/base/dl_util.h
@@ -19,6 +19,7 @@ Revision History:
 #ifndef DL_UTIL_H_
 #define DL_UTIL_H_
 
+#include<vector>
 #include"ast.h"
 #include"hashtable.h"
 #include"obj_hashtable.h"
@@ -67,7 +68,7 @@ namespace datalog {
     typedef idx_set var_idx_set;
     typedef u_map<var *> varidx2var_map;
     typedef obj_hashtable<func_decl> func_decl_set; //!< Rule dependencies.
-    typedef vector<std::string> string_vector;
+    typedef std::vector<std::string> string_vector;
     
     bool contains_var(expr * trm, unsigned var_idx);
 
diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index 91be93c0e..71ef2a06e 100644
--- a/src/parsers/smt2/smt2parser.cpp
+++ b/src/parsers/smt2/smt2parser.cpp
@@ -298,7 +298,7 @@ namespace smt2 {
         }
 
         unsigned            m_cache_end;
-        vector<std::string> m_cached_strings;
+        std::vector<std::string> m_cached_strings;
 
         int m_num_open_paren;
 
@@ -2197,7 +2197,7 @@ namespace smt2 {
 
             m_scanner.start_caching();
             m_cache_end = 0;
-            m_cached_strings.reset();
+            m_cached_strings.resize(0);
             
             check_lparen_next("invalid get-value command, '(' expected");
             while (!curr_is_rparen()) {