===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/eval.c,v
retrieving revision 1.69
retrieving revision 1.71
diff -u -p -r1.69 -r1.71
--- OpenXM_contrib2/asir2000/parse/eval.c	2013/11/21 06:48:04	1.69
+++ OpenXM_contrib2/asir2000/parse/eval.c	2015/08/04 06:20:45	1.71
@@ -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/eval.c,v 1.68 2011/02/18 02:54:49 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.70 2014/08/09 06:08:11 noro Exp $ 
 */
 #include <ctype.h>
 #include "ca.h"
@@ -57,9 +57,6 @@
 #endif
 #include <sys/types.h>
 #include <sys/stat.h>
-#if defined(PARI)
-#include "genpari.h"
-#endif
 
 extern JMP_BUF timer_env;
 extern FUNC cur_binf;
@@ -70,7 +67,7 @@ int evalstatline;
 int recv_intr;
 int show_crossref;
 int at_root;
-void gen_searchf_searchonly(char *name,FUNC *r);
+void gen_searchf_searchonly(char *name,FUNC *r,int global);
 LIST eval_arg(FNODE a,unsigned int quote);
 
 pointer eval(FNODE f)
@@ -733,15 +730,9 @@ pointer evalstat(SNODE f)
 		case S_BP:
 			if ( !nextbp && (!FA1(f) || eval((FNODE)FA1(f))) ) {
 				if ( (FNODE)FA2(f) ) {
-#if defined(PARI)
-					pari_outfile = stderr;
-#endif
 					asir_out = stderr;
 					printexpr(CO,eval((FNODE)FA2(f)));
 					putc('\n',asir_out); fflush(asir_out);
-#if defined(PARI)
-					pari_outfile = stdout;
-#endif
 					asir_out = stdout;
 				} else {
 					nextbp = 1; nextbplevel = 0; 
@@ -882,7 +873,7 @@ pointer evalf(FUNC f,FNODE a,FNODE opt)
 	FUNC f1;
 
 	if ( f->id == A_UNDEF ) {
-		gen_searchf_searchonly(f->fullname,&f1);
+		gen_searchf_searchonly(f->fullname,&f1,0);
 		if ( f1->id == A_UNDEF ) {
 			sprintf(errbuf,"evalf : %s undefined",NAME(f));
 			error(errbuf);
@@ -1435,10 +1426,9 @@ void gen_searchf(char *name,FUNC *r)
 	*r = val;
 }
 
-void gen_searchf_searchonly(char *name,FUNC *r)
+void gen_searchf_searchonly(char *name,FUNC *r,int global)
 {
 	FUNC val = 0;
-	int global = 0;
 	if ( *name == ':' ) {
 		global = 1;
 		name += 2;