From ed43401c3720a7f090bd610e816f68e4a93551a5 Mon Sep 17 00:00:00 2001 From: dehnert Date: Mon, 14 Jan 2013 20:26:09 +0100 Subject: [PATCH] Reenable logging to prevent exception. --- src/storm.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; //}