diff --git a/src/counterexamples/MinimalLabelSetGenerator.h b/src/counterexamples/MinimalLabelSetGenerator.h
index dba56717a..d9917239e 100644
--- a/src/counterexamples/MinimalLabelSetGenerator.h
+++ b/src/counterexamples/MinimalLabelSetGenerator.h
@@ -1217,7 +1217,7 @@ namespace storm {
                 // Update model.
                 updateModel(environmentModelPair.first, environmentModelPair.second);
 
-                writeModelToFile(environmentModelPair.first, environmentModelPair.second, "storm.lp");
+                // writeModelToFile(environmentModelPair.first, environmentModelPair.second, "storm.lp");
                 
                 // (4.4) Optimize the model.
                 optimizeModel(environmentModelPair.first, environmentModelPair.second);