diff --git a/src/main.cpp b/src/main.cpp
index f9ba315052c66c34275c51316ded5929ee6477e9..b5febdde3b22b22f17f847a9b86cb7b7bdb5005f 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -293,9 +293,8 @@ int main(int argc, char** argv)
                         file.close();
                     }
                     if (auto run = k->intersecting_run(af))
-                    {
-                        /*std::cout << "formula is violated by the following run:\n" << *run;*/
-                        run->highlight(5); // 5 is a color number.
+                    {                       
+                        run->highlight(5); 
                         fstream file;
                         file.open("violated.dot",fstream::out);
                         cout<<"Property is violated"<<endl;