File internal_fix.patch of Package swipl
diff -Pdpru pl-6.6.6/src/pl-comp.c pl-6.6.6-mod/src/pl-comp.c --- pl-6.6.6/src/pl-comp.c 2014-05-28 18:53:51.000000000 +0900 +++ pl-6.6.6-mod/src/pl-comp.c 2014-07-22 21:19:59.748381642 +0900 @@ -2781,6 +2781,7 @@ compileArithArgument(Word arg, compileIn } else /* GMP */ { Output_n(ci, A_MPZ, p, n+1); } + return FALSE; } succeed; } @@ -3282,6 +3283,7 @@ forAtomsInClause(Clause clause, void (fu PL_unregister_atom(w); break; } + return FALSE; } } }