diff --git a/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java b/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java
index 189a81706394c536ae8fae4f8f76ddc52e03a28e..982549b1a2f0677ed9d4061de2b3426ad6bb50c7 100644
--- a/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java
+++ b/src/main/java/de/hhu/stups/codegenerator/generators/ModelCheckingGenerator.java
@@ -339,7 +339,6 @@ public class ModelCheckingGenerator {
         //TemplateHandler.add(template, "operationID", operationIDs.get(nameHandler.handle(opNode.getName())));
         TemplateHandler.add(template, "hasParameters", hasParameters);
         TemplateHandler.add(template, "checkReachability", checkReachabilityAnalyzer.visitOperation(opNode));
-        TemplateHandler.add(template, "tupleType", typeGenerator.generate(tupleType));
 
         String evalName = hasParameters ? "param" : transitionIdentifier;
         List<String> readParameters = new ArrayList<>();