casa-mp-base

--- work/boolector-1.4.1-376e6b0-110304/btorsat.c   2010-06-14 18:38:20.000000000 +0200

+++ btorsat.c   2012-09-08 16:20:41.000000000 +0200

@@ -17,10 +17,10 @@

  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.

  */

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

+#include "picosat.h"

 #ifdef BTOR_USE_PICOPREP

-#include "../picoprep/picoprep.h"

+#include "picoprep.h"

 #endif

 #ifdef BTOR_USE_PRECOSAT