From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 27 Feb 2010 23:46:38 +0000 (+0000)
Subject: fix compile error in black parser unit test after today's change to parser code
X-Git-Tag: cvc5-1.0.0~9213
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cc6802ff819de5643ab87afc0839b584ddad63b2;p=cvc5.git

fix compile error in black parser unit test after today's change to parser code
---

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 150d88306..1b05f490e 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -158,7 +158,7 @@ class ParserBlack : public CxxTest::TestSuite {
         // cout << "Testing good input: '" << goodInputs[i] << "'\n";
         // Debug.on("parser");
         istringstream stream(goodInputs[i]);
-        Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream);
+        Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test");
         TS_ASSERT( !smtParser->done() );
         Command* cmd;
         while((cmd = smtParser->parseNextCommand())) {
@@ -180,7 +180,7 @@ class ParserBlack : public CxxTest::TestSuite {
     for(int i = 0; i < numInputs; ++i) {
       // cout << "Testing bad input: '" << badInputs[i] << "'\n";
       istringstream stream(badInputs[i]);
-      Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream);
+      Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test");
       TS_ASSERT_THROWS
         ( while(smtParser->parseNextCommand());
           cout << "\nBad input succeeded:\n" << badInputs[i] << endl;, 
@@ -196,7 +196,7 @@ class ParserBlack : public CxxTest::TestSuite {
         // cout << "Testing good expr: '" << goodBooleanExprs[i] << "'\n";
         // Debug.on("parser");
         istringstream stream(context + goodBooleanExprs[i]);
-        Parser* parser = Parser::getNewParser(d_exprManager, d_lang, stream);
+        Parser* parser = Parser::getNewParser(d_exprManager, d_lang, stream, "test");
         TS_ASSERT( !parser->done() );
         Command* cmd = parser->parseNextCommand();
         TS_ASSERT( !parser->done() );
@@ -221,7 +221,7 @@ class ParserBlack : public CxxTest::TestSuite {
     for(int i = 0; i < numExprs; ++i) {
       // cout << "Testing bad expr: '" << badBooleanExprs[i] << "'\n";
       istringstream stream(context + badBooleanExprs[i]);
-      Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream);
+      Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test");
       TS_ASSERT_THROWS
         ( smtParser->parseNextExpression();
           cout << "\nBad expr succeeded: " << badBooleanExprs[i] << endl;,