Added support for flets.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74167 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 3 insertions, 1 deletions

diff --git a/lib/SMT/SMTParser.cpp b/lib/SMT/SMTParser.cpp
index 395241a0..dee3801c 100644
--- a/lib/SMT/SMTParser.cpp
+++ b/lib/SMT/SMTParser.cpp
@@ -72,7 +72,7 @@ void SMTParser::PushVarEnv() {
 }
 
 void SMTParser::PopVarEnv() {
-  cout << "Popping new var env\n";
+  cout << "Popping var env\n";
   varEnvs.pop();
 }
 
@@ -96,10 +96,12 @@ void SMTParser::PushFVarEnv() {
 }
 
 void SMTParser::PopFVarEnv(void) {
+  cout << "Popping fvar env\n";
   fvarEnvs.pop();
 }
 
 void SMTParser::AddFVar(std::string name, ExprHandle val) {
+  cout << "Adding (" << name << ", " << val << ") to current fvar env.\n";
   fvarEnvs.top()[name] = val;
 }