File internal_fix.patch of Package swipl
Index: pl-5.10.2/src/pl-comp.c
===================================================================
--- pl-5.10.2.orig/src/pl-comp.c 2010-10-28 21:38:25.000000000 +0200
+++ pl-5.10.2/src/pl-comp.c 2010-12-18 20:12:34.600439331 +0100
@@ -2143,6 +2143,7 @@ compileArithArgument(Word arg, compileIn
} else /* GMP */
{ Output_n(ci, A_MPZ, p, n+1);
}
+ return FALSE;
}
succeed;
}
@@ -2558,6 +2559,7 @@ forAtomsInClause(Clause clause, void (fu
PL_unregister_atom(w);
break;
}
+ return FALSE;
}
}
}