From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 12 Oct 2009 21:12:00 +0000 (+0000)
Subject: minor edits
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=a11a61dbe4e0c2750fe366436d9d3fc170ea82e2;p=francis%2Fstp.git

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 b6e50eb..cd51bb7 100644
--- 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 2d6b54d..1a7ca01 100644
--- 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 f63448a..b448033 100644
--- 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,