small fix in intuitionistic tableau example

rzach · rzach · commit 67647fee8b95 · 2025-06-25T14:35:31.000-06:00
diff --git a/content/intuitionistic-logic/tableaux/introduction.tex b/content/intuitionistic-logic/tableaux/introduction.tex
@@ -2,7 +2,7 @@
 % Chapter: tableaux
 % Section: introduction
 
-\documentclass[../../../../include/open-logic-section]{subfiles}
+\documentclass[../../../include/open-logic-section]{subfiles}
 
 \begin{document}
 
diff --git a/content/intuitionistic-logic/tableaux/proofs.tex b/content/intuitionistic-logic/tableaux/proofs.tex
@@ -34,7 +34,6 @@
                     just= {\TRule{\False}{\land}[4]}, close]]
                 [\pFmla{\True}{\formula{C}}{1.1.1},
                   just = {\TRule{\True}{\lif}[1]}, close]]
-              ]
             ]
           ]
         ]
