Bugfix

potassco · Dec 8, 2023 · 63f4d54 · 63f4d54
1 parent b57cab6
commit 63f4d54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/translating/gamma.rs b/src/translating/gamma.rs
@@ -70,7 +70,7 @@ fn there(formula: Formula) -> Formula {
 fn prepend_predicate(formula: Formula, prefix: &'static str) -> Formula {
     formula.apply(&mut |formula| match formula {
         Formula::AtomicFormula(AtomicFormula::Atom(mut a)) => {
-            a.predicate.insert_str(0, prefix);
+            a.predicate_symbol.insert_str(0, prefix);
             Formula::AtomicFormula(AtomicFormula::Atom(a))
         }
         x => x,