diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-04-22 14:11:20 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-04-22 14:11:20 +0000 |
| commit | a43e7cbb96a4fdc9a1658c06935bff08b69208f3 (patch) | |
| tree | fa12bad833e721e68d5d8c2dcc65d311748e3465 | |
| parent | b8311b53d09de960bad5dc508f60e65112f07503 (diff) | |
cosmetique
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/etc/pr_o.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/camlp4/etc/pr_o.ml b/camlp4/etc/pr_o.ml index c4f032069..e788f80cd 100644 --- a/camlp4/etc/pr_o.ml +++ b/camlp4/etc/pr_o.ml @@ -1496,14 +1496,6 @@ pr_patt.pr_levels := (S RO ",") al "" [: `S RO ")"; k :] :] :] | _ -> [: curr x "" [: :]; `next y "" k :] ] | p -> fun curr next dg k -> [: `next p "" k :] ]}; -(* - {pr_label = ""; pr_box _ x = HOVbox x; - pr_rules = - extfun Extfun.empty with - [ <:patt< $x$ . $y$ >> -> - fun curr next dg k -> [: curr x "" [: :]; `S NO "."; `next y "" k :] - | p -> fun curr next dg k -> [: `next p "" k :] ]}; -*) {pr_label = "simple"; pr_box p x = LocInfo (MLast.loc_of_patt p) (HOVbox x); pr_rules = |