diff --git a/Makefile.in b/Makefile.in index cc70faf3f..823ed5b21 100755 --- a/Makefile.in +++ b/Makefile.in @@ -311,6 +311,7 @@ PLCONS_SOURCES = \ console/LGPL/manifest.xml PL_SOURCES= \ + pl/absf.yap \ pl/arith.yap \ pl/arithpreds.yap \ pl/arrays.yap \