From 0da935ed946d4b9dee1d3ad1cf4eed89af2cfa62 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Sat, 4 May 2019 07:53:02 -0700
Subject: [PATCH] Minor cleanup.

---
 thun/metalogical.pl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/thun/metalogical.pl b/thun/metalogical.pl
index feb1f0c..d793b69 100644
--- a/thun/metalogical.pl
+++ b/thun/metalogical.pl
@@ -1,10 +1,10 @@
 % A Tracing Meta-Interpreter for Thun
 
 tmi(true).
+tmi(!).
 tmi((A, B)) :- tmi(A), tmi(B).
-tmi(number(A)) :- !, number(A).
-tmi(var(A)) :- !, var(A).
-tmi(!) :- !.
+tmi(number(A)) :- number(A).
+tmi(var(A)) :- var(A).
 
 % Meta-logical print trace.
 % (Could also be captured in a list or something instead.)