Merge pull request #24 from rtjoa/patch-1

Convert ptr to `UInt` instead of `Int` in missing C macros

Author: mykelk

src/CUDD.jl

@@ -10,13 +10,13 @@ include(joinpath(@__DIR__, "gen", "libcudd_api.jl"))
 # Missing C macros omitted by Clang.jl
 
 Cudd_Not(node) =
-    convert(Ptr{Nothing}, xor(convert(Int,node), 1))
+    convert(Ptr{Nothing}, xor(convert(UInt,node), 1))
 
 Cudd_IsComplement(node) =
-    isone(convert(Int,node) & 1)
+    isone(convert(UInt,node) & 1)
 
 Cudd_Regular(node) = 
-    convert(Ptr{Nothing}, convert(Int,node) & ~1)
+    convert(Ptr{Nothing}, convert(UInt,node) & ~1)
 
 # export everything
 foreach(names(@__MODULE__, all=true)) do s