change time type to real

lenaRB · Dec 13, 2023 · 6eae0f4 · 6eae0f4
1 parent 689f801
commit 6eae0f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/crml/compiler/crmlVisitorImpl.java b/src/main/java/crml/compiler/crmlVisitorImpl.java
@@ -768,7 +768,7 @@ private Value apply_binary_op(String op, Value left, Value right) {
 				else return new Value(ctx.number().getText(), "Integer");
 
 			if(ctx.time() != null)
-				return new Value("time", "Clock");
+				return new Value("time", "Real");
 
 			String val = ctx.getText();