diff options
Diffstat (limited to 'parsing/pretty.ml')
-rw-r--r-- | parsing/pretty.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/pretty.ml b/parsing/pretty.ml index 33c5f862e..007a2e4ab 100644 --- a/parsing/pretty.ml +++ b/parsing/pretty.ml @@ -434,7 +434,8 @@ let inspect depth = open Classops -let string_of_strength = function +let string_of_strength = function + | NotDeclare -> "(temp)" | NeverDischarge -> "(global)" | DischargeAt sp -> "(disch@"^(string_of_dirpath sp) |