Migrating to CUDD 3.0.0: Makefile

2018-02-10 12:43:46 +00:00
parent 269f92aa73
commit e0eb9258b0
2 changed files with 3 additions and 5 deletions
--- a/cudd.hh
+++ b/cudd.hh
@@ -1 +1 @@
-#include <cudd/cuddObj.hh>
+#include <cuddObj.hh>