also a fix for a system test related to ParserBuilder

diff --git a/test/system/ouroborous.cpp b/test/system/ouroborous.cpp
index 4473b42bb900e1659e831de9b442f5022fae8920..497f11c087c0ed22759bc72353c6416b99d5ee0b 100644 (file)
--- a/test/system/ouroborous.cpp
+++ b/test/system/ouroborous.cpp
@@ -74,7 +74,7 @@ string translate(Parser* parser, string in, InputLanguage inlang, OutputLanguage
 int runTest() {
   ExprManager em;
   Parser* parser =
-    ParserBuilder(em, "internal-buffer")
+    ParserBuilder(&em, "internal-buffer")
       .withStringInput(declarations)
       .withInputLanguage(input::LANG_SMTLIB_V2)
       .build();