diff options
Diffstat (limited to 'src/boot/fe/token.ml')
| -rw-r--r-- | src/boot/fe/token.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index 18da8c6d..7b4f04b2 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -106,6 +106,7 @@ type token = (* Magic runtime services *) | LOG + | LOG_ERR | SPAWN | BIND | THREAD @@ -269,6 +270,7 @@ let rec string_of_tok t = (* Magic runtime services *) | LOG -> "log" + | LOG_ERR -> "log_err" | SPAWN -> "spawn" | BIND -> "bind" | THREAD -> "thread" |