make compatible with new clingo versions

potassco · Mar 23, 2024 · 4c8b48e · 4c8b48e
1 parent af6107c
commit 4c8b48e
Show file tree

Hide file tree

Showing 2 changed files with 734 additions and 382 deletions.
diff --git a/app/lib/src/app.cc b/app/lib/src/app.cc
@@ -36,11 +36,11 @@ Rewriter::Rewriter(clingodl_theory_t *theory, clingo_program_builder_t *builder)
 }
 
 void Rewriter::rewrite(Clingo::StringSpan files) {
-    Clingo::Detail::handle_error(clingo_ast_parse_files(files.begin(), files.size(), rewrite_, this, nullptr, nullptr, 0));
+    Clingo::Detail::handle_error(clingo_ast_parse_files(files.begin(), files.size(), rewrite_, this, nullptr, nullptr, nullptr, 0));
 }
 
 void Rewriter::rewrite(char const *str) {
-    Clingo::Detail::handle_error(clingo_ast_parse_string(str, rewrite_, this, nullptr, nullptr, 0));
+    Clingo::Detail::handle_error(clingo_ast_parse_string(str, rewrite_, this, nullptr, nullptr, nullptr, 0));
 }
 
 bool Rewriter::add_(clingo_ast_t *stm, void *data) {