diff options
Diffstat (limited to 'src/main/Makefile.in')
-rw-r--r-- | src/main/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/Makefile.in b/src/main/Makefile.in index 6498610be..ba924109e 100644 --- a/src/main/Makefile.in +++ b/src/main/Makefile.in @@ -40,7 +40,7 @@ subdir = src/main DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \ - $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \ $(top_srcdir)/config/ltoptions.m4 \ $(top_srcdir)/config/ltsugar.m4 \ $(top_srcdir)/config/ltversion.m4 \ |