Nothing really

aclai-lab · Jan 4, 2025 · 6c5401b · 6c5401b
1 parent 579104e
commit 6c5401b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/scalar/propositional-formula-simplification.jl b/src/scalar/propositional-formula-simplification.jl
@@ -190,5 +190,6 @@ function scalar_simplification(
             # # per una USC. Devo capire se tale intervallo è ⊤, ⊥, o corrisponde ad un solo valore.
         end for (feat, bitmask) in feature_groups]))
 
+    # @show SoleLogics.connective(φ)
     ψ = (length(ch) == 0 ? (⊤) : (length(ch) == 1 ? first(ch) : LeftmostLinearForm(SoleLogics.connective(φ), ch)))
 end