diff --git a/src/storm.cpp b/src/storm.cpp index cbf16faa8..220ae5a02 100644 --- a/src/storm.cpp +++ b/src/storm.cpp @@ -233,7 +233,7 @@ void testChecking() { * Main entry point. */ int main(const int argc, const char* argv[]) { - // initializeLogger(); + initializeLogger(); // if (!parseOptions(argc, argv)) { // return 0; //}