From 415f94f0978fbf3104f93033fe21ec88f2ec454f Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Thu, 21 Nov 2013 16:46:00 +0100 Subject: Corrected a pretty-printing bug. --- src/pretty.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/pretty.ml') diff --git a/src/pretty.ml b/src/pretty.ml index c3d12f3..1307bdf 100644 --- a/src/pretty.ml +++ b/src/pretty.ml @@ -79,7 +79,7 @@ let binop_str = function | Modulo -> "%" | Land -> "&&" | Lor -> "||" let unop_str = function | PreIncr -> "++." | PostIncr -> ".++" | PreDecr -> "--." | PostDecr -> ".--" - | Ref -> "&" | Deref -> "&" | Not -> "!" | Minus -> "-" | Plus -> "+" + | Ref -> "&" | Deref -> "*" | Not -> "!" | Minus -> "-" | Plus -> "+" let rec var_type_str = function | TVoid -> "void" | TInt -> "int" | TIdent(i) -> i | TPtr(k) -> "*" ^ (var_type_str k) -- cgit v1.2.3