diff options
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index ef49e0308..713295f6f 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -19,9 +19,7 @@ open Location;; open Parsetree;; let fmt_position f l = - if l.pos_fname = "" && l.pos_lnum = 1 - then fprintf f "%d" l.pos_cnum - else if l.pos_lnum = -1 + if l.pos_lnum = -1 then fprintf f "%s[%d]" l.pos_fname l.pos_cnum else fprintf f "%s[%d,%d+%d]" l.pos_fname l.pos_lnum l.pos_bol (l.pos_cnum - l.pos_bol) |