Aenderungen von log_file() in spare kopiert

Change-Id: I949a5fe9f70ee4a768d4eb0615537bd3958e5daf
diff --git a/secure/simul_efun/spare/simul_efun.c b/secure/simul_efun/spare/simul_efun.c
index a1d987a..501f596 100644
--- a/secure/simul_efun/spare/simul_efun.c
+++ b/secure/simul_efun/spare/simul_efun.c
@@ -14,6 +14,8 @@
 #define SNOOPLOGFILE "SNOOP"
 #define ASNOOPLOGFILE "ARCH/SNOOP"
 
+public int mkdirp(string dir);
+
 #include "/secure/config.h"
 #include "/secure/wizlevels.h"
 #include "/sys/snooping.h"