diff options
| author | Emilio Jesus Gallego Arias | 2020-02-12 09:34:13 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-12 09:34:13 +0100 |
| commit | 2a4d9569570584c300fcb19c3804fe07578eef12 (patch) | |
| tree | 459ddbf1343f8301b374d2e6711d531449c0f7c5 /gramlib | |
| parent | 44c3458deb687814379f7d05b27487b0ff9f2d38 (diff) | |
| parent | 6884867957d1cc361030cffd18d24cb8a231dd10 (diff) | |
Merge PR #11573: Fixing extra space in front of keywords in Print Grammar
Reviewed-by: ejgallego
Diffstat (limited to 'gramlib')
| -rw-r--r-- | gramlib/grammar.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml index ff0b90dcff..e1b9c6b7cb 100644 --- a/gramlib/grammar.ml +++ b/gramlib/grammar.ml @@ -831,8 +831,9 @@ let rec print_symbol : type s tr r. formatter -> (s, tr, r) ty_symbol -> unit = fprintf ppf "LIST1 %a SEP %a%s" print_symbol1 s print_symbol1 t (if osep then " OPT_SEP" else "") | Sopt s -> fprintf ppf "OPT %a" print_symbol1 s - | Stoken p when L.tok_pattern_strings p <> ("", None) -> + | Stoken p -> begin match L.tok_pattern_strings p with + | "", Some s -> print_str ppf s | con, Some prm -> fprintf ppf "%s@ %a" con print_str prm | con, None -> fprintf ppf "%s" con end | Snterml (e, l) -> |