diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 01:02:46 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 01:02:46 -0800 |
| commit | d8f9b15fd9da8c9ae29ee0b63c4302e5efbde387 (patch) | |
| tree | 418278e778d5bdfcd884e31be612c04c05c2a3dd /tools/parse.nom | |
| parent | 0f83a81fa6d2c131aea747da035a53019f3d7d2a (diff) | |
Cleaning up some of the documentation and dead code.
Diffstat (limited to 'tools/parse.nom')
| -rwxr-xr-x | tools/parse.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/parse.nom b/tools/parse.nom index d28c80c..ac9c42f 100755 --- a/tools/parse.nom +++ b/tools/parse.nom @@ -24,7 +24,7 @@ externally (print tree $t at indent $indent) means: say "\$indent\($t.1)" "Var": - say "\($indent)%\($t.1)" + say "\($indent)$\($t.1)" else: say "\$indent\($t.type):" |
