Minor

aclai-lab · Nov 19, 2024 · ef746c1 · ef746c1
1 parent 496550f
commit ef746c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/classification/satellite.jl b/test/classification/satellite.jl
@@ -104,7 +104,7 @@ end
 function _simplify(φ::SyntaxTree)
     if token(φ) in [CONJUNCTION, DISJUNCTION]
         φ = LeftmostLinearForm(φ)
-        chs = children(φ)
+        chs = SoleLogics.grandchildren(φ)
         for i in length(chs):-1:1
             ch1 = chs[i]
             for ch2 in chs