diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:39:30 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:39:30 +0000 |
commit | 4081193ea4337de29755a61bf04aa44305a9e789 (patch) | |
tree | 815cd8a1f628b083a7dafb901957d24fa6085199 | |
parent | 13a6669a35aee32c03f8d29fe386aca95d2fbd8f (diff) |
minor fixes
-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 = \ |