From 332077db2cd0f0ef214c8d662c145c330d88b488 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 11 Aug 2016 00:56:19 +0200
Subject: [PATCH] account for a file renaming in this script

---
 src/simix/simcalls.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simix/simcalls.py b/src/simix/simcalls.py
index 6a6f43478e..67ae8fc7f9 100755
--- a/src/simix/simcalls.py
+++ b/src/simix/simcalls.py
@@ -51,7 +51,7 @@ class Simcall(object):
         # smx_host_t h)
         if self.simcalls_PRE is None:
             self.simcalls_PRE = set()
-            for fn in glob.glob('smx_*') + glob.glob('../mc/*'):
+            for fn in glob.glob('smx_*') + glob.glob('ActorImpl*') + glob.glob('../mc/*'):
                 f = open(fn)
                 self.simcalls_PRE |= set(re.findall(r'simcall_HANDLER_(.*?)\(', f.read()))
                 f.close()
-- 
2.20.1