From 0aa032eb28e22a6e3c988b49e04f7c6dd7bdf9cd Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Thu, 9 Jul 2009 08:20:19 +0000
Subject: [PATCH]
---
src/translator/touppaal/TURTLE2UPPAAL.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/translator/touppaal/TURTLE2UPPAAL.java b/src/translator/touppaal/TURTLE2UPPAAL.java
index ca18e8ca5d..7f0f88fc09 100755
--- a/src/translator/touppaal/TURTLE2UPPAAL.java
+++ b/src/translator/touppaal/TURTLE2UPPAAL.java
@@ -342,7 +342,7 @@ public class TURTLE2UPPAAL {
setSynchronization(tr, "begintask__!");
}
}
- if (!(templatesWithMultipleProcesses.contains(template))) {
+ if (!(templatesWithMultipleProcesses.contains(template1))) {
cpt += nb;
}
}
--
GitLab