diff options
-rw-r--r-- | test/system/ouroborous.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/system/ouroborous.cpp b/test/system/ouroborous.cpp index 4473b42bb..497f11c08 100644 --- 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(); |