Don't emit event traces by default

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");
-    system.write_evt(fh);
+//    std::ofstream fh("trace.evt");
+//    system.write_evt(fh);
 
     return 0;
 }