From b1ec9b57b1018838e867e36f449baae9babad762 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 29 Nov 2021 14:40:48 -0300
Subject: [PATCH] fixing compilation

---
 spec/doc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/doc.tex b/spec/doc.tex
index c727845..2cc4fae 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -1424,7 +1424,7 @@ Rule & Description \\
 
 The following lists all rules of Alethe.
 
-\input{rule_list}
+\input{rule\string_list}
 
 \section{Changelog}
 \label{sec:changelog}
-- 
GitLab