diff options
| author | Pierre-Marie Pédrot | 2016-11-07 20:33:06 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-02-14 17:27:22 +0100 |
| commit | e4f066238799a4598817dfeab8a044760ab670de (patch) | |
| tree | 7f29de2c76c8a97b8cfa82791cb860dafd227798 /toplevel | |
| parent | ce2b509734f3b70494a0a35b0b4eda593c1c8eb6 (diff) | |
Coercion API using EConstr.
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/class.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/class.ml b/toplevel/class.ml index 6295eb3361..46b212deeb 100644 --- a/toplevel/class.ml +++ b/toplevel/class.ml @@ -85,7 +85,7 @@ let uniform_cond nargs lt = let rec aux = function | (0,[]) -> true | (n,t::l) -> - let t = strip_outer_cast Evd.empty (EConstr.of_constr t) (** FIXME *) in + let t = strip_outer_cast Evd.empty t (** FIXME *) in isRel t && Int.equal (destRel t) n && aux ((n-1),l) | _ -> false in |