diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml index 93751cf5dd..322a61af7d 100644 --- a/parsing/prettyp.ml +++ b/parsing/prettyp.ml @@ -532,7 +532,7 @@ open Classops let string_of_strength = function | NotDeclare -> "(temp)" | NeverDischarge -> "(global)" - | DischargeAt sp -> "(disch@"^(string_of_dirpath sp) + | DischargeAt (sp,_) -> "(disch@"^(string_of_dirpath sp) let print_coercion_value v = prterm (get_coercion_value v) |