From 4081193ea4337de29755a61bf04aa44305a9e789 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 12 Nov 2009 20:39:30 +0000 Subject: [PATCH] minor fixes --- src/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 = \ -- 2.30.2