diff --git a/CHR/Makefile.in b/CHR/Makefile.in index d21d6d30a..f22673c7d 100644 --- a/CHR/Makefile.in +++ b/CHR/Makefile.in @@ -26,7 +26,7 @@ CHR_PROGRAMS= $(srcdir)/chr/chrcmp.pl \ $(srcdir)/chr/matching.pl \ $(srcdir)/chr/operator.pl \ $(srcdir)/chr/ordering.pl \ - $(srcdir)/chr/sbag.yap \ + $(srcdir)/chr/sbag.pl \ $(srcdir)/chr/sbag_a.pl \ $(srcdir)/chr/sbag_l.pl \ $(srcdir)/chr/trace.yap