diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-09-11 20:00:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-09-12 10:39:32 +0200 |
| commit | ca300977724a6b065a98c025d400c71f41b9df4b (patch) | |
| tree | 59a2fd3327b3d0eb9cd1e11cbb31605f2a08ea27 /interp/constrexpr_ops.ml | |
| parent | 012fe1a96ba81ab0a7fa210610e3f25187baaf1d (diff) | |
Parsing evar instances.
Diffstat (limited to 'interp/constrexpr_ops.ml')
| -rw-r--r-- | interp/constrexpr_ops.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/interp/constrexpr_ops.ml b/interp/constrexpr_ops.ml index ca36f4c9f..01efef940 100644 --- a/interp/constrexpr_ops.ml +++ b/interp/constrexpr_ops.ml @@ -149,10 +149,10 @@ let rec constr_expr_eq e1 e2 = constr_expr_eq t1 t2 && constr_expr_eq f1 f2 | CHole _, CHole _ -> true - | CPatVar(_,(b1, i1)), CPatVar(_,(b2, i2)) -> - (b1 : bool) == b2 && Id.equal i1 i2 + | CPatVar(_,i1), CPatVar(_,i2) -> + Id.equal i1 i2 | CEvar (_, id1, c1), CEvar (_, id2, c2) -> - Id.equal id1 id2 && Option.equal (List.equal instance_eq) c1 c2 + Id.equal id1 id2 && List.equal instance_eq c1 c2 | CSort(_,s1), CSort(_,s2) -> Miscops.glob_sort_eq s1 s2 | CCast(_,a1,(CastConv b1|CastVM b1)), CCast(_,a2,(CastConv b2|CastVM b2)) -> |