diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-11-11 18:53:52 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-11-11 18:53:52 -0800 |
| commit | efac694cc065f94f9b0d95ebb35d10bcf9a18691 (patch) | |
| tree | 69d7883f08a5b0eb37248138fa15a33c004f2a93 /tools | |
| parent | 2b4196bc2027096f070c07fb279cf18d5fb20ee5 (diff) | |
Removed dead code.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/repl.nom | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/repl.nom b/tools/repl.nom index 6197074..aeac324 100644 --- a/tools/repl.nom +++ b/tools/repl.nom @@ -20,9 +20,7 @@ say "\ press 'enter' twice to run a command " -%repl_line = 0 repeat: - %repl_line += 1 %io.write (bright (yellow ">> ")) %buff = [] repeat: |