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 /src/Makefile.am | |
| parent | 13a6669a35aee32c03f8d29fe386aca95d2fbd8f (diff) | |
minor fixes
Diffstat (limited to 'src/Makefile.am')
| -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 = \ |