From 338f6222e745f2b6fe4a47a287e0c28c29fc6abe Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 25 Jan 2024 10:07:26 +0100
Subject: [PATCH] Fix indents
---
.../src/de/prob/eventb/translator/Theories.java | 14 +++++++-------
1 file changed, 7 insertions(+), 7 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 2b7bd509..ec17f81e 100644
--- a/de.prob.core/src/de/prob/eventb/translator/Theories.java
+++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java
@@ -431,14 +431,14 @@ public class Theories {
pto.openTerm(functor);
pto.printAtom(id.getIdentifierString());
try {
- Type type = id.getType(ff);
- printType(type, pto);
+ Type type = id.getType(ff);
+ printType(type, pto);
} catch (CoreException e) {
- // the the checked theory files tcf no longer contain the type paras
- // 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");
+ // the the checked theory files tcf no longer contain the type paras
+ // 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.closeTerm();
}
--
GitLab