From a40c205d5fe065223bc590efa726f5d9a7e59a94 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 4 Mar 2015 10:02:25 +0000 Subject: [PATCH] New files --- library/Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/library/Makefile.in b/library/Makefile.in index 29ca2c2fc..af058c2b3 100644 --- a/library/Makefile.in +++ b/library/Makefile.in @@ -36,8 +36,9 @@ PROGRAMS= \ $(srcdir)/bhash.yap \ $(srcdir)/charsio.yap \ $(srcdir)/clp/clpfd.pl \ + $(srcdir)/clauses.yap \ $(srcdir)/coinduction.yap \ - $(srcdir)/dbqueues.yap \ + $(srcdir)/dbqueues.yap \ $(srcdir)/dbusage.yap \ $(srcdir)/dgraphs.yap \ $(srcdir)/exo_interval.yap \ @@ -51,6 +52,7 @@ PROGRAMS= \ $(srcdir)/lists.yap \ $(srcdir)/nb.yap \ $(srcdir)/ordsets.yap \ + $(srcdir)/parameters.yap \ $(srcdir)/mapargs.yap \ $(srcdir)/maplist.yap \ $(srcdir)/maputils.yap \