diff options
Diffstat (limited to 'pretyping/classops.ml')
| -rwxr-xr-x | pretyping/classops.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pretyping/classops.ml b/pretyping/classops.ml index 0b190db0e8..ca85535252 100755 --- a/pretyping/classops.ml +++ b/pretyping/classops.ml @@ -134,9 +134,7 @@ let coercion_exists coe = try let _ = coercion_info coe in true with Not_found -> false -let coe_of_reference = function - | EvarRef _ -> raise Not_found - | x -> x +let coe_of_reference x = x let hide_coercion coe = let _,coe_info = coercion_info coe in |