From a07a3f6d56937c28c52ff7ff25f16aa294d194e6 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 28 May 2024 21:47:18 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
---
 spec/rule_list.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 7ab1280..66d20af 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -601,7 +601,6 @@ Either of the form:
 		$(t_1 < 0 \land \neg (t_2 ≈ t_3)) \rightarrow \neg (t_1 * t_2 ≈ t_1 * t_3)$
 		& (\currule) \\
 	\end{AletheX}
-	.
 \end{RuleDescription}
 
 \begin{RuleDescription}{bind}
-- 
GitLab