diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-24 22:37:21 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-24 22:37:21 +0100 |
| commit | 226f58656b4b7f92f6de9a817ab9106937e061e9 (patch) | |
| tree | d2e4c23e520d99c59685d18b24058f8a45def43e /exn_handler.sml | |
| parent | 87217fe5ba58f5199d30586b5d9bec104dece445 (diff) | |
Simplified stream
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 |