From 5d76fd5ba08bf32617936802c36821578faf6ae4 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 23 Sep 2013 17:56:45 +0200
Subject: [PATCH] Disabled model output to file.

Former-commit-id: be3eb0087547b6a97bfeb3c5678c29c487fc1559
---
 src/counterexamples/MinimalLabelSetGenerator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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