diff options
Diffstat (limited to 'lib/tools')
| -rwxr-xr-x | lib/tools/repl.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/tools/repl.nom b/lib/tools/repl.nom index 63d9e30..ea0cc8a 100755 --- a/lib/tools/repl.nom +++ b/lib/tools/repl.nom @@ -68,7 +68,7 @@ command line program with $args: $ret = (run $lua) ..if it fails with $err: say $err ..if it succeeds: - if (type of $ret) is: + if (lua type of $ret) is: "nil": do nothing |
