diff options
| -rw-r--r-- | typing/printtyp.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 6062f2ed0..531b0a874 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -367,7 +367,8 @@ let exception_declaration id decl = let value_description id decl = open_box 2; - print_string "val "; ident id; print_string " :"; print_space(); + print_string (if decl.val_kind = Val_reg then "val " else "external "); + ident id; print_string " :"; print_space(); type_scheme decl.val_type; begin match decl.val_kind with Val_prim p -> |