casa-mp-base

--- work/boolector-1.4.1-376e6b0-110304/makefile.in 2011-03-04 19:52:48.000000000 +0100

+++ makefile.in 2012-09-08 16:45:41.000000000 +0200

@@ -4,7 +4,7 @@

 .cc.o:

    $(CC) $(CFLAGS) -c $<

 OBJ=boolector.o $(addsuffix .o,$(basename $(wildcard btor*.c))) \

-  ../picosat/picosat.o ../picosat/version.o @PRECOSAT@

+  @PRECOSAT@

 CC=@CC@

 CFLAGS=@CFLAGS@

 LIBS=@LIBS@