projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 13a6669)
minor fixes
authorMorgan Deters <mdeters@gmail.com>
Thu, 12 Nov 2009 20:39:30 +0000 (20:39 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 12 Nov 2009 20:39:30 +0000 (20:39 +0000)
src/Makefile.am patch | blob | history

diff --git a/src/Makefile.am b/src/Makefile.am
index f7d0c01038fac0df7a647942777a48312cf2b435..90efb9cab9f7a2f860fd912ec9453e2463b75532 100644 (file)
--- 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 = \