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;
}
}
}