From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 20 May 2010 03:28:27 +0000 (+0000)
Subject: Fix the build by adding a missing function.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=2de7d944bcd695a20cc0c64f9f976616ebf81bd3;p=francis%2Fstp.git

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 c995e81..a3b7bcb 100644
--- 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 9c5cfe9..546821f 100644
--- 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