diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java index b28153a8d653dbec50dccf0d7b5f31ecbdda93a5..e400364560658a62888f074d838a07e8329fd33f 100644 --- a/src/main/java/de/tla2bAst/BAstCreator.java +++ b/src/main/java/de/tla2bAst/BAstCreator.java @@ -454,6 +454,8 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil switch (tlcValue.getKind()) { case INTVALUE: return new AIntegerExpression(new TIntegerLiteral(tlcValue.toString())); + case REALVALUE: + return new ARealExpression(new TRealLiteral(tlcValue.toString())); case SETENUMVALUE: { SetEnumValue s = (SetEnumValue) tlcValue; ArrayList<PExpression> list = new ArrayList<>();