Browse Source

TimeEventSpec must be compatible to int, not same

Andreas Mülder 10 years ago
parent
commit
3ee733a842

+ 1 - 1
plugins/org.yakindu.sct.model.stext/src/org/yakindu/sct/model/stext/inferrer/STextTypeInferrer.java

@@ -66,7 +66,7 @@ public class STextTypeInferrer extends ExpressionsTypeInferrer {
 
 	public Object infer(TimeEventSpec e) {
 		Type type = inferTypeDispatch(e.getValue());
-		assertSame(type, getType(INTEGER), TIME_SPEC);
+		assertCompatible(type, getType(INTEGER), TIME_SPEC);
 		return inferTypeDispatch(type);
 	}