unit test fixes for new NodeManager constructor (related to previous two trunk commits)

2 files changed, 10 insertions, 10 deletions

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 2e1a6d3f4..af9b7bd0f 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -67,7 +67,7 @@ protected:
 //        cerr << "Testing good input: <<" << goodInput << ">>" << endl;
 //        istringstream stream(goodInputs[i]);
         Parser *parser =
-          ParserBuilder(*d_exprManager,"test")
+          ParserBuilder(d_exprManager,"test")
             .withStringInput(goodInput)
             .withInputLanguage(d_lang)
             .build();
@@ -94,7 +94,7 @@ protected:
 //      Debug.on("parser");
 
     Parser *parser =
-      ParserBuilder(*d_exprManager,"test")
+      ParserBuilder(d_exprManager,"test")
         .withStringInput(badInput)
         .withInputLanguage(d_lang)
         .withStrictMode(strictMode)
@@ -116,7 +116,7 @@ protected:
 //        istringstream stream(context + goodBooleanExprs[i]);
 
         Parser *parser =
-          ParserBuilder(*d_exprManager,"test")
+          ParserBuilder(d_exprManager,"test")
             .withStringInput(goodExpr)
             .withInputLanguage(d_lang)
             .build();
@@ -153,7 +153,7 @@ protected:
 //      cout << "Testing bad expr: '" << badExpr << "'\n";
 
       Parser *parser =
-        ParserBuilder(*d_exprManager,"test")
+        ParserBuilder(d_exprManager,"test")
           .withStringInput(badExpr)
           .withInputLanguage(d_lang)
           .withStrictMode(strictMode)
diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h
index 06259ddb0..06b09f2ce 100644
--- a/test/unit/parser/parser_builder_black.h
+++ b/test/unit/parser/parser_builder_black.h
@@ -92,7 +92,7 @@ public:
     /* fs.close(); */
 
     checkEmptyInput(
-      ParserBuilder(*d_exprManager,filename)
+      ParserBuilder(d_exprManager,filename)
         .withInputLanguage(LANG_CVC4)
                     );
 
@@ -108,7 +108,7 @@ public:
     fs.close();
 
     checkTrueInput(
-      ParserBuilder(*d_exprManager,filename)
+      ParserBuilder(d_exprManager,filename)
         .withInputLanguage(LANG_CVC4)
                    );
 
@@ -117,7 +117,7 @@ public:
 
   void testEmptyStringInput() {
     checkEmptyInput(
-      ParserBuilder(*d_exprManager,"foo")
+      ParserBuilder(d_exprManager,"foo")
         .withInputLanguage(LANG_CVC4)
         .withStringInput("")
                     );
@@ -125,7 +125,7 @@ public:
 
   void testTrueStringInput() {
     checkTrueInput(
-      ParserBuilder(*d_exprManager,"foo")
+      ParserBuilder(d_exprManager,"foo")
         .withInputLanguage(LANG_CVC4)
         .withStringInput("TRUE")
                    );
@@ -134,7 +134,7 @@ public:
   void testEmptyStreamInput() {
     stringstream ss( "", ios_base::in );
     checkEmptyInput(
-      ParserBuilder(*d_exprManager,"foo")
+      ParserBuilder(d_exprManager,"foo")
         .withInputLanguage(LANG_CVC4)
         .withStreamInput(ss)
                     );
@@ -143,7 +143,7 @@ public:
   void testTrueStreamInput() {
     stringstream ss( "TRUE", ios_base::in );
     checkTrueInput(
-      ParserBuilder(*d_exprManager,"foo")
+      ParserBuilder(d_exprManager,"foo")
         .withInputLanguage(LANG_CVC4)
         .withStreamInput(ss)
                    );