diff options
| -rw-r--r-- | test/bdd.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/bdd.ml b/test/bdd.ml index f1fa8b183..20a68cd96 100644 --- a/test/bdd.ml +++ b/test/bdd.ml @@ -7,7 +7,7 @@ let rec eval bdd vars = | Node(l, v, _, h) -> if vars.(v) then eval h vars else eval l vars -let rec getId bdd = +let getId bdd = match bdd with Node(_,_,id,_) -> id | Zero -> 0 |