# HG changeset patch # User kono # Date 1188648623 -32400 # Node ID 92791d7fbf21d49d0c15584944d7dd9208d680ec # Parent 61743469ee5641bf161dbb95f094b207201cdaca *** empty log message *** diff -r 61743469ee56 -r 92791d7fbf21 cp.pl --- a/cp.pl Fri Aug 31 23:33:02 2007 +0900 +++ b/cp.pl Sat Sep 01 21:10:23 2007 +0900 @@ -48,7 +48,8 @@ ttyflush :- flush_output. -nofileerrors. +nofileerrors :- prolog_flag(fileerrors,off,_). +fileerrors :- prolog_flag(fileerrors,on,_). tab(0) :-!. tab(N) :- N>0, N1 is N-1,write(' '),tab(N1). diff -r 61743469ee56 -r 92791d7fbf21 cp.pl.c --- a/cp.pl.c Fri Aug 31 23:33:02 2007 +0900 +++ b/cp.pl.c Sat Sep 01 21:10:23 2007 +0900 @@ -137,7 +137,8 @@ ttyflush :- flush_output. -nofileerrors. +nofileerrors :- prolog_flag(fileerrors,off,_). +fileerrors :- prolog_flag(fileerrors,on,_). tab(0) :-!. tab(N) :- N>0, N1 is N-1,write(' '),tab(N1). diff -r 61743469ee56 -r 92791d7fbf21 make-cp-pl.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/make-cp-pl.sh Sat Sep 01 21:10:23 2007 +0900 @@ -0,0 +1,1 @@ +gcc -E -DSICSTUSV4 cp.pl.c | sed -e /^#/d > cp.pl