From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 12 Nov 2009 20:39:30 +0000 (+0000)
Subject: minor fixes
X-Git-Tag: cvc5-1.0.0~9428
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4081193ea4337de29755a61bf04aa44305a9e789;p=cvc5.git

minor fixes
---

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 = \