From 6ac67d1275b25458c6c69c00a055788595b4e96b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 25 Jan 2024 10:06:56 +0100
Subject: [PATCH] Fix syntax error
---
de.prob.core/src/de/prob/eventb/translator/Theories.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 bd7653d6..2b7bd509 100644
--- a/de.prob.core/src/de/prob/eventb/translator/Theories.java
+++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java
@@ -438,7 +438,7 @@ public class Theories {
// the tuf file may contain org.eventb.theory.core.type="Baum(L)"
// the tcf file now contains org.eventb.theory.core.type="Baum"
// as one cannot adapt the type parameters inside an inductive type definition
- pto.printAtom("default_type_parameters")
+ pto.printAtom("default_type_parameters");
}
pto.closeTerm();
}
--
GitLab