diff options
Diffstat (limited to 'exn_handler.sml')
| -rw-r--r-- | exn_handler.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/exn_handler.sml b/exn_handler.sml index 2e3a0b2..32ad20b 100644 --- a/exn_handler.sml +++ b/exn_handler.sml @@ -37,7 +37,7 @@ structure GlobalExnHandler: sig val handler: exn -> unit end = struct FsmTableIsTooSmall => eprint "fsm table is too small. Increate 'maxState' value" | IO.Io _ => ioExn e - | TkErrorAug (pos, msg) => eprint $ Stream.pos2str pos ^ ": " ^ msg + | TkErrorAug (pos, msg) => eprint $ Stream.ppos2str pos ^ ": " ^ msg | _ => otherExn e; exit 255) end |