diff --git a/src/duality/duality_solver.cpp b/src/duality/duality_solver.cpp
index f973b16e5..73fc986b1 100755
--- a/src/duality/duality_solver.cpp
+++ b/src/duality/duality_solver.cpp
@@ -3055,10 +3055,7 @@ namespace Duality {
     };
   };
 
-  void stop(int event){
-    if(event == 1932)
-      std::cout << "foo!\n";
-  }
+  static int stop_event = -1;
 
   class StreamReporter : public Reporter {
     std::ostream &s;
@@ -3068,7 +3065,9 @@ namespace Duality {
     int event;
     int depth;
     void ev(){
-      stop(event);
+      if(stop_event == event){
+	std::cout << "stop!\n";
+      }
       s << "[" << event++ << "]" ;
     }
     virtual void Extend(RPFP::Node *node){