Index: trunk/src/simul_efun.c
===================================================================
--- trunk/src/simul_efun.c	(Revision 2312)
+++ trunk/src/simul_efun.c	(Arbeitskopie)
@@ -200,6 +200,12 @@
 
     /* Get the name(s) of the simul_efun  object. */
     svp = apply_master(STR_GET_SEFUN, 0);
+    if (simul_efun_object)
+    {
+        printf("%s Simul_efun appeared while asking for it.\n", time_stamp());
+        return MY_TRUE;
+    }
+
     if (svp == NULL)
     {
         printf("%s No simul_efun\n", time_stamp());