diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index d59e0568bbbdf6e364be3094fb05af7091b4f722..ab538cfa33b3fb0b53c226e312490e774b4619a4 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -292,7 +292,6 @@ gdb.execute("dashboard -enabled off")
 gdb.execute("dashboard -output /dev/null")
 
 """ Also break at the main-loop """
-# AddBreakpoint("finish_execution")
 MainBP("finish_execution")
 # MainBP("terminate_execution")