From a6ed00a459c932124fb919ba3d712efdd44dafb0 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Thu, 25 Jan 2024 12:08:40 +0100 Subject: [PATCH] add missing pred args for recursive data type export Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de> --- de.prob.core/src/de/prob/eventb/translator/Theories.java | 2 ++ 1 file changed, 2 insertions(+) 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 170cb9cb..bb7e443c 100644 --- a/de.prob.core/src/de/prob/eventb/translator/Theories.java +++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java @@ -467,6 +467,8 @@ public class Theories { printType(arg.getSCGivenType(ff), pto); } pto.closeList(); + pto.openList(); // empty list of predicate args + pto.closeList(); pto.closeTerm(); } -- GitLab