diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-07-07 17:31:04 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-07-07 17:33:27 +0200 |
commit | 3264fdaa71b2327a992286a08df0dfbcf78ea4fe (patch) | |
tree | 2cfcdfd2eb96d82a66a03df38954fd7ff8767684 /checker/term.ml | |
parent | 7c7726a798caa6b506a727703de24d2bb5bb3956 (diff) |
Checker: Fix bug #4282
Adapt to new [projection] abstract type comprising a constant and
a boolean.
Diffstat (limited to 'checker/term.ml')
-rw-r--r-- | checker/term.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/term.ml b/checker/term.ml index 93540276b..430be4951 100644 --- a/checker/term.ml +++ b/checker/term.ml @@ -392,7 +392,7 @@ let compare_constr f t1 t2 = Array.equal f tl1 tl2 && Array.equal f bl1 bl2 | CoFix(ln1,(_,tl1,bl1)), CoFix(ln2,(_,tl2,bl2)) -> Int.equal ln1 ln2 && Array.equal f tl1 tl2 && Array.equal f bl1 bl2 - | Proj (p1,c1), Proj(p2,c2) -> eq_con_chk p1 p2 && f c1 c2 + | Proj (p1,c1), Proj(p2,c2) -> Projection.equal p1 p2 && f c1 c2 | _ -> false let rec eq_constr m n = |