diff options
Diffstat (limited to 'contrib/interface')
| -rw-r--r-- | contrib/interface/showproof.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/interface/showproof.ml b/contrib/interface/showproof.ml index aa158f841f..50aebb9175 100644 --- a/contrib/interface/showproof.ml +++ b/contrib/interface/showproof.ml @@ -737,7 +737,7 @@ let rec nsortrec vl x = | IsMutCase(_,x,t,a) -> nsortrec vl x | IsCast(x,t)-> nsortrec vl t - | IsConst((c,_)) -> nsortrec vl (lookup_constant c vl).const_type + | IsConst c -> nsortrec vl (lookup_constant c vl).const_type | _ -> nsortrec vl (type_of vl Evd.empty x) ;; let nsort x = |