diff --git a/src/translator/touppaal/TURTLE2UPPAAL.java b/src/translator/touppaal/TURTLE2UPPAAL.java index ca18e8ca5d35591603fcb2619abc9d6e4e616d4c..7f0f88fc0995089e5e235bc20744a6f7a797f072 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; } }