diff --git a/C/index.c b/C/index.c index 0d6ca623e..6762e309d 100644 --- a/C/index.c +++ b/C/index.c @@ -4119,8 +4119,6 @@ ExpandIndex(PredEntry *ap) { yamop **labp; int cb; - extern long long int vsc_count; - printf("vsc_count: %lld\n", vsc_count); Yap_Error_Size = 0; if ((cb = setjmp(Yap_CompilerBotch)) == 3) { restore_machine_regs(); diff --git a/pl/consult.yap b/pl/consult.yap index 8269d7b5d..8b0b97b75 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -264,7 +264,7 @@ add_to_path(New,Pos) :- '$add_to_path'(Path,Pos). '$add_to_path'(New,_) :- recorded('$path',New,R), erase(R), fail. -'$add_to_path'(New,last) :- !, '$recordz'('$path',New,_). +'$add_to_path'(New,last) :- !, recordz('$path',New,_). '$add_to_path'(New,first) :- recorda('$path',New,_). remove_from_path(New) :- '$check_path'(New,Path),