1 files changed, 2 insertions, 2 deletions
diff --git a/main.cpp b/main.cpp
index 1f1b6de..7a8d161 100644
--- a/main.cpp
+++ b/main.cpp
@@ -76,8 +76,8 @@ int main(int argc, const char *argv[]) {
        checker.execute();
    }
-    std::ofstream fh("trace.evt");
+//    std::ofstream fh("trace.evt");
-    system.write_evt(fh);
+//    system.write_evt(fh);
    return 0;
 }

diff --git a/main.cpp b/main.cpp index 1f1b6de..7a8d161 100644 --- a/main.cpp +++ b/main.cpp
@@ -76,8 +76,8 @@ int main(int argc, const char *argv[]) {
76	checker.execute();	76	checker.execute();
77	}	77	}
78		78
79	std::ofstream fh("trace.evt");	79	// std::ofstream fh("trace.evt");
80	system.write_evt(fh);	80	// system.write_evt(fh);
81		81
82	return 0;	82	return 0;
83	}	83	}