diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index f7d0c0103..90efb9cab 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -5,7 +5,7 @@ SUBDIRS = parser sat lib_LTLIBRARIES = libcvc4.la libcvc4_la_LIBADD = \ - sat/parser/libparser.a + parser/libparser.a sat/minisat/libminisat.a EXTRA_DIST = \ |