From 36fa5ee15144cd9515cd1873b976d8237d505853 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Fri, 26 Apr 2019 22:13:45 -0700 Subject: [PATCH] Very minor cleanup. --- thun/thun.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thun/thun.pl b/thun/thun.pl index 4a92b3b..f38243a 100644 --- a/thun/thun.pl +++ b/thun/thun.pl @@ -32,7 +32,7 @@ joy(InputString, StackIn, StackOut) :- /* Parser - joy :== number | '[' joy* ']' | chars + joy :== number | '[' joy* ']' | atom */