Fix the build by adding a missing function.

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

diff --git a/src/printer/SMTLIBPrinter.cpp b/src/printer/SMTLIBPrinter.cpp
index c995e81cad3510198e1e284e04351759fe2d6a67..a3b7bcb2e0fdb6198d427d6d5152f798520a24a5 100644 (file)
--- a/src/printer/SMTLIBPrinter.cpp
+++ b/src/printer/SMTLIBPrinter.cpp
@@ -7,6 +7,15 @@ namespace printer
 {
 using namespace BEEV;
 
+static string tolower(const char * name)
+{
+  string s(name);
+  for (size_t i = 0; i < s.size(); ++i)
+       s[i] = ::tolower(s[i]);
+  return s;
+}
+
+
        //Map from ASTNodes to LetVars
        BEEV::ASTNodeMap NodeLetVarMap;
 

diff --git a/src/printer/SMTLIBPrinter.h b/src/printer/SMTLIBPrinter.h
index 9c5cfe96635621e34e28f4ddd4030de018faedfc..546821feb8d5ca6cd6a52520fb87ecc254515572 100644 (file)
--- a/src/printer/SMTLIBPrinter.h
+++ b/src/printer/SMTLIBPrinter.h
@@ -24,5 +24,7 @@ namespace printer
        ostream& SMTLIB_Print(ostream &os, const ASTNode n, const int indentation, void (*SMTLIB_Print1)(ostream&, const ASTNode , int , bool ), bool smtlib1);
 
        bool containsAnyArrayOps(const ASTNode& n);
+
+       static string tolower(const char * name);
 };
 #endif