optimize district & support virtual table conjunction

2023-04-04 15:59:34 +08:00
parent d3d19a4fe9
commit 9234ebb9e1
23 changed files with 338 additions and 187 deletions
--- a/src/maat_compile.c
+++ b/src/maat_compile.c
@@ -586,7 +586,7 @@ void compile_runtime_free(void *compile_runtime)
    }
    
    if (compile_rt->clause_by_literals_hash != NULL) {
-        maat_clause_hash_free(&compile_rt->clause_by_literals_hash);
+        maat_clause_hash_free(&(compile_rt->clause_by_literals_hash));
        compile_rt->clause_by_literals_hash = NULL;
    }