I've the following two sources: main.pl and test.pl
I've compiled test with the following command
Gplc -w test.pl
And I've compiled main with the following command
Gplc --min-size main.pl
Now, when I execute the program I get the following error :
system_error(cannot_catch_throw(error(existence_error(procedure,(\=)/2),
work/0))) equal
Seems that the --min-size option the \= procedure required from test.
Any suggestion ?
Regards
Maurizio.
%%%%% main.pl %%%%%%%%%%%
:- initialization(go).
:- dynamic(work/0).
go:-
abolish(work/0),
load(test),
work.
%%%%%%%%% test.pl %%%%%%
:- dynamic(work/0).
work:-
A=1,
(A\=2
-> write(different),nl
; write(equal),nl
).
_______________________________________________
Bug-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-prolog
