From 5348cd062d1d34172dd852d676b58705e248e8c8 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Fri, 26 Jan 2024 12:51:02 +0100 Subject: [PATCH] Fix indents --- de.prob.core/src/de/prob/eventb/translator/Theories.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 e08766b1..499958e3 100644 --- a/de.prob.core/src/de/prob/eventb/translator/Theories.java +++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java @@ -443,10 +443,10 @@ public class Theories { // the tcf file now contains org.eventb.theory.core.type="Baum" // getType would lead to a CoreException // we print the type of the recursive data type directly - printTypeOfDataType(def,ff,pto); + printTypeOfDataType(def,ff,pto); } else { - Type type = id.getType(ff); - printType(type, pto); + Type type = id.getType(ff); + printType(type, pto); } pto.closeTerm(); } -- GitLab