fix python3 and ElementTreePython3.py

[tools/sat.git] / sat

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