===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/puref.c,v
retrieving revision 1.9
retrieving revision 1.11
diff -u -p -r1.9 -r1.11
--- OpenXM_contrib2/asir2000/parse/puref.c	2013/02/15 07:05:49	1.9
+++ OpenXM_contrib2/asir2000/parse/puref.c	2015/08/08 14:19:42	1.11
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/parse/puref.c,v 1.8 2005/10/05 08:57:25 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/puref.c,v 1.10 2014/09/19 01:26:00 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -104,6 +104,9 @@ void mkpf(char *name,Obj body,int argc,V *args,
 /*		fprintf(stderr,"%s() defined.\n",name); */
 	} else
 		fprintf(stderr,"%s() redefined.\n",name);
+#if defined(__MINGW32__) || defined(__MINGW64__)
+	fflush(stderr);
+#endif
 	BDY(node) = (pointer)pf; *pfp = pf;
 }
 
@@ -650,6 +653,20 @@ void devalins(PFINS ins,Obj *rp)
 		}
 		MKReal(d,r); *rp = (Obj)r;
 	}
+}
+
+extern int evalef;
+
+void simplify_elemfunc_ins(PFINS ins,Obj *rp)
+{
+	V v;
+	P t;
+
+  if ( evalef )
+    evalins(ins,0,rp); 
+  else {
+	  instov(ins,&v); MKV(v,t); *rp = (Obj)t;
+  }
 }
 
 void simplify_ins(PFINS ins,Obj *rp)