diff --git a/de.prob.core/src/de/prob/eventb/translator/Theories.java b/de.prob.core/src/de/prob/eventb/translator/Theories.java index fef28e07e011f4c95383f1ee328adb34ba59fbaf..70238004704fe3332b739adf9adc54a95e4dc483 100644 --- a/de.prob.core/src/de/prob/eventb/translator/Theories.java +++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java @@ -416,6 +416,7 @@ public class Theories { Predicate pp = (Predicate) scFormula; printPredicate(prologOutput, pp); } + // TODO: we could insert the result type in the Prolog term; or at least if we have a pred or expr if (scFormula instanceof Expression) { Expression pp = (Expression) scFormula; printExpression(prologOutput, pp); @@ -488,6 +489,7 @@ public class Theories { pto.openList(); // WD condition missing pto.closeList(); + // Result type is not written; we can maybe get it from: Formula<?> scFormula = def.getSCFormula(ff, te); pto.closeTerm(); } pto.closeList();