From bea6fba788e82803053322d14972fc1e2af5a3a5 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 19 May 2018 16:39:16 +0200
Subject: [PATCH] prevent false reads in multi-threaded ngshared

---
 src/frontend/inp.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/frontend/inp.c b/src/frontend/inp.c
index 90fdd0f61..f2f0c5a64 100644
--- a/src/frontend/inp.c
+++ b/src/frontend/inp.c
@@ -1055,8 +1055,11 @@ inp_dodeck(
     ct->ci_inprogress = FALSE;
     ct->ci_runonce = FALSE;
     ct->ci_commands = end;
+    /* prevent false reads in multi-threaded ngshared */
+#ifndef SHARED_MODULE
     if (reuse)
         tfree(ct->ci_filename);
+#endif
     ct->ci_filename = copy(filename);
 
     if (!noparse) {