diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/printer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/printer.ml b/parsing/printer.ml index 6bd11af9f6..218ba4150c 100644 --- a/parsing/printer.ml +++ b/parsing/printer.ml @@ -486,7 +486,7 @@ let pr_assumptionset env s = str "Section Variables:" ++ (Environ.AssumptionSet.fold (function Variable (id,typ ) -> - (fun b -> b++str (string_of_identifier id) + (fun b -> b++str (string_of_id id) ++str " : " ++pr_ltype typ ++fnl ()) |