casa-mp-base

--- work/boolector-1.4.1-376e6b0-110304/btorexp.c   2011-03-04 19:49:37.000000000 +0100

+++ btorexp.c   2012-09-08 16:20:16.000000000 +0200

@@ -27,7 +27,7 @@

 #include "btorconfig.h"

 #include "btorexit.h"

 #include "btorrewrite.h"

-#include "../picosat/picosat.h"

+#include "picosat.h"

 #include <stdlib.h>

 #include <stdio.h>