sat launcher : nouvelle option -p qui permet de générer un lanceur pour un sous ensem...

[tools/sat.git] / src / options.py

diff --git a/src/options.py b/src/options.py
index af890e99491f734f29362a65519ca557221a06c7..bbcf8936866588aa8290797ac2df6176f11546d5 100755 (executable)
--- a/src/options.py
+++ b/src/options.py
@@ -260,7 +260,7 @@ class Options(object):
             option['result'] = None
 
         self.results = {"optlist": optlist, "optResult": optResult, "args": args, "argList": argList}
-        DBG.write("results", self.results, True)
+        DBG.write("results", self.results)
         return optResult, args
         
     def filterLevel(self, aLevel):