diff options
Diffstat (limited to 'parsing/pprintast.ml')
-rw-r--r-- | parsing/pprintast.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/parsing/pprintast.ml b/parsing/pprintast.ml index 3a53684b9b..36c6599ca1 100644 --- a/parsing/pprintast.ml +++ b/parsing/pprintast.ml @@ -167,8 +167,7 @@ class printer ()= object(self:'self) | Lapply (y,s)-> pp f "%a(%a)" self#longident y self#longident s method longident_loc f x = pp f "%a" self#longident x.txt - method constant f (c, _) = - match c with + method constant f = function | Const_char i -> pp f "%C" i | Const_string (i, None) -> pp f "%S" i | Const_string (i, Some delim) -> pp f "{%s|%s|%s}" delim i delim |