From 76a523d4227613f80ebae62b59dab6f2371b9590 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 27 Jun 2007 10:09:59 +0000
Subject: [PATCH] Added ; for-loops to preprocessor.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@404 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Preprocessor.java | 3 +++
 1 file changed, 3 insertions(+)

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();