diff options
Diffstat (limited to 'toplevel/class.ml')
-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 0dc799014..46854e5c0 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 t in + let t = strip_outer_cast Evd.empty (EConstr.of_constr t) (** FIXME *) in isRel t && Int.equal (destRel t) n && aux ((n-1),l) | _ -> false in |