diff options
Diffstat (limited to 'src/pretty_typing.ml')
| -rw-r--r-- | src/pretty_typing.ml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/pretty_typing.ml b/src/pretty_typing.ml index 709611b..26e5b49 100644 --- a/src/pretty_typing.ml +++ b/src/pretty_typing.ml @@ -105,12 +105,11 @@ let proto_str p = let print_prog p = List.iter (function - | TDGlobal((ty,b),i) -> let addr = (if b then "&" else "") in - print_string ("decl " ^ addr ^ i ^ " : " ^ (var_type_str ty) ^ "\n") + | TDGlobal(ty,i) -> + print_string ("decl " ^ i ^ " : " ^ (var_type_str ty) ^ "\n") | TDFunction(p,b) -> print_string (proto_str p ^"\n"); print_block 0 b | TDClass(c) -> () (* print_class_decl c *) - | TDNothing -> () ) - p + p.prog_decls |