The Quick Interpreter gives a "null" in the message, fixes #656

overturetool · Dec 4, 2017 · 422e717 · 422e717
1 parent 31ba594
commit 422e717
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/ast/src/main/java/org/overture/ast/lex/VDMToken.java b/core/ast/src/main/java/org/overture/ast/lex/VDMToken.java
@@ -210,7 +210,7 @@ public enum VDMToken implements Serializable
 			VDM_RT), SYSTEM("system", "system", VDM_RT),
 
 	// No more tokens
-	EOF(null, null, VDM_SL);
+	EOF(null, "EOF", VDM_SL);
 
 	/** The keyword associated with a token, if any. */
 	private String keyword = null;