diff --git a/pl/init.yap b/pl/init.yap index 38860349a..7eff9c3e9 100755 --- a/pl/init.yap +++ b/pl/init.yap @@ -114,7 +114,7 @@ otherwise. 'ground.yap', 'listing.yap', 'preds.yap', - 'arithpreds,yap', + 'arithpreds.yap', % modules must be after preds, otherwise we will have trouble % with meta-predicate expansion being invoked 'modules.yap',