Fix broken test

ctrekker · Jan 7, 2022 · d7cdb9e · d7cdb9e
1 parent edc0cc9
commit d7cdb9e
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/src/inference.jl b/src/inference.jl
@@ -77,11 +77,6 @@ Provability operator used exclusively in calculus definitions. A ⊢ B means tha
 """
 ⊢ = LogicalOperation((a, b) -> true, :⊢, 2, false, false)
 
-"""
-    PropositionalCalculus
-
-Default calculus definition for zeroth-order (propositional) logic.
-"""
 @logical_calculus PropositionalCalculus begin
     "Modus Ponens", (
         p → q,
@@ -162,6 +157,12 @@ Default calculus definition for zeroth-order (propositional) logic.
         p ∨ r
     ), q
 end
+"""
+    PropositionalCalculus
+
+Default calculus definition for zeroth-order (propositional) logic.
+"""
+PropositionalCalculus
 
 @logical_calculus ExtendedPropositionalCalculus begin
     # Rules for negations