minor edits

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@298 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/UsefulDefs.h b/src/AST/UsefulDefs.h
index b6e50eb66362625487988f56bbfec029f9ff89b0..cd51bb7329937d2e95d8d389994c4692657a4993 100644 (file)
--- a/src/AST/UsefulDefs.h
+++ b/src/AST/UsefulDefs.h
@@ -45,8 +45,8 @@
 #define HASHMULTISET hash_multiset
 #define  INITIAL_TABLE_SIZE 100
 
+using namespace std;
 namespace BEEV {
-  using namespace std;
   using namespace MINISAT;
 #ifdef EXT_HASH_MAP
   using namespace __gnu_cxx;

diff --git a/src/c_interface/c_interface.cpp b/src/c_interface/c_interface.cpp
index 2d6b54d99d243169f8087521282c0f7afe98a911..1a7ca01a5e8151dc9622e64b44b193f271e364da 100644 (file)
--- a/src/c_interface/c_interface.cpp
+++ b/src/c_interface/c_interface.cpp
@@ -69,7 +69,7 @@ void vc_setFlags(char c) {
     //BEEV::num_absrefine = atoi(argv[++i]);
     break;
   case 'h':
-    BEEV::fprintf(stderr,BEEV::usage,BEEV::prog);
+    fprintf(stderr,BEEV::usage,BEEV::prog);
     cout << helpstring;
     //FatalError("");
     //return -1;

diff --git a/src/printer/printers.h b/src/printer/printers.h
index f63448a3d6f02581075cddaf1b7d49a646566a52..b448033c667587af7b45bb99c16c78f0e86b3d5a 100644 (file)
--- a/src/printer/printers.h
+++ b/src/printer/printers.h
@@ -9,15 +9,17 @@
 
 #ifndef PRINTERS_H_
 #define PRINTERS_H_
+#include <iostream>
+#include <vector>
+#include <cstring>
 
 #include "../AST/AST.h"
-#include "../AST/ASTUtil.h"
 #include "../AST/ASTKind.h"
 #include "../STPManager/STP.h"
 
+//using namespace std;
 namespace printer
 {
-
   ostream& Dot_Print(ostream &os, const BEEV::ASTNode n);
 
   ostream& SMTLIB_Print(ostream &os,