better src/callerName.py

[tools/sat.git] / sat

diff --git a/sat b/sat
index 02c2b5745bdd8a8b4e41097c312f74ba0ce25e0b..14b9a86120235243cee480d70a73aaaca6715115 100755 (executable)
--- a/sat
+++ b/sat
@@ -44,7 +44,7 @@ import src.debug as DBG # Easy print stderr (for DEBUG only)
 
 logger = LOG.getDefaultLogger()
 
-DBG.write("Python version", sys.version)
+DBG.write("Python version", sys.version, DBG.isDeveloper())
 
 #################################
 # MAIN