From 67dc1a08f84039ad370b01310c8dcee9fd5c2167 Mon Sep 17 00:00:00 2001
From: Masahiro Sakai <masahiro.sakai@gmail.com>
Date: Sat, 18 Dec 2021 14:38:32 +0900
Subject: [PATCH] Stop including <mtr.h> since CUDD 3.0.0 does not install it
 by default

---
 Cudd/MTR.chs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Cudd/MTR.chs b/Cudd/MTR.chs
index a46fe8a..5937dfc 100644
--- a/Cudd/MTR.chs
+++ b/Cudd/MTR.chs
@@ -28,7 +28,7 @@ import Control.Monad.ST
 import Control.Monad.ST.Unsafe
 
 #include <stdio.h>
-#include <mtr.h>
+#include <cudd.h>
 
 data CMtrNode 
 newtype MtrNode s = MtrNode (Ptr CMtrNode)
@@ -113,11 +113,11 @@ mtrDissolveGroup (MtrNode m) = unsafeIOToST $ c_mtrDissolveGroup m
 
 #c
 enum MTR_TYPES {
-    MTRDefault = MTR_DEFAULT,
-    MTRTerminal = MTR_TERMINAL,
-    MTRSoft = MTR_SOFT,
-    MTRFixed = MTR_FIXED,
-    MTRNewNode = MTR_NEWNODE
+    MTRDefault = 0x00000000,
+    MTRTerminal = 0x00000001,
+    MTRSoft = 0x00000002,
+    MTRFixed = 0x00000004,
+    MTRNewNode = 0x00000008
 };
 #endc