suppression trace

diff --git a/Minicode/eficas_mini.py b/Minicode/eficas_mini.py
index 66a953cecea94f0c6d69ab65e373d57ea5c8bbc4..26d7d4ee6db4aaf798fdbb8bed0fc8dda07ed4a4 100755 (executable)
--- a/Minicode/eficas_mini.py
+++ b/Minicode/eficas_mini.py
@@ -19,7 +19,7 @@ import Editeur
 from Editeur import eficas_go
 
 def main():
-   Misc.Trace.begin_trace()
+   #Misc.Trace.begin_trace()
    if len(sys.argv) > 1 :
        # on veut ouvrir un fichier directement au lancement d'Eficas
        eficas_go.lance_eficas(code='ASTER',fichier = sys.argv[1])