From d097d90731a954f29937facbab9b1fcf17134363 Mon Sep 17 00:00:00 2001
From: corrodedHash <corrodedHash@users.noreply.github.com>
Date: Tue, 8 May 2018 19:26:14 +0200
Subject: [PATCH] Fixed Segfault when failing to load datalog file

---
 src/muz/fp/datalog_parser.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/muz/fp/datalog_parser.cpp b/src/muz/fp/datalog_parser.cpp
index dddca492b..a23d654b0 100644
--- a/src/muz/fp/datalog_parser.cpp
+++ b/src/muz/fp/datalog_parser.cpp
@@ -108,7 +108,9 @@ public:
 #endif
     }
     ~line_reader() {
-        fclose(m_file);
+        if (m_file != nullptr){
+            fclose(m_file);
+        }
     }
 
     bool operator()() { return m_ok; }