diff --git a/prism/src/prism/Preprocessor.java b/prism/src/prism/Preprocessor.java
index 9a60c407..7af8e118 100644
--- a/prism/src/prism/Preprocessor.java
+++ b/prism/src/prism/Preprocessor.java
@@ -251,6 +251,9 @@ public class Preprocessor
 				else if (s.indexOf(", ") == 0) {
 					s = s.substring(2).trim(); interpretForLoop(s, ",");
 				}
+				else if (s.indexOf("; ") == 0) {
+					s = s.substring(2).trim(); interpretForLoop(s, ";");
+				}
 				// end
 				else if (s.equals("end")) {
 					interpretEnd();