fixes for external CUDD compatibility.

2012-07-16 11:58:21 -05:00
parent a99412c48f
commit 8ba1de7250
7 changed files with 16858 additions and 5834 deletions
--- a/packages/ProbLog/simplecudd/simplecudd.h
+++ b/packages/ProbLog/simplecudd/simplecudd.h
@@ -192,7 +192,7 @@
 #include <string.h>
 #include <math.h>
 #include <time.h>
-#include "../../../config.h"
+#include "config.h"
 #if HAVE_UTIL_H
 #include <util.h>
 #endif