diff options
| author | Pierre-Marie Pédrot | 2016-11-07 19:07:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-02-14 17:27:20 +0100 |
| commit | ce2b509734f3b70494a0a35b0b4eda593c1c8eb6 (patch) | |
| tree | 77e87e5da2b453e9ae918eef039b6511d3612597 /interp/notation.ml | |
| parent | 3b8acc174490878a3d0c9345e34a0ecb1d3abd66 (diff) | |
Classops API using EConstr.
Diffstat (limited to 'interp/notation.ml')
| -rw-r--r-- | interp/notation.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/notation.ml b/interp/notation.ml index 88ae4695b8..d264a19047 100644 --- a/interp/notation.ml +++ b/interp/notation.ml @@ -585,7 +585,7 @@ let scope_class_compare : scope_class -> scope_class -> int = cl_typ_ord let compute_scope_class t = - let (cl,_,_) = find_class_type Evd.empty t in + let (cl,_,_) = find_class_type Evd.empty (EConstr.of_constr t) in cl module ScopeClassOrd = |