removed piece of code (it was an ugly patch that now is not more needed)

aclai-lab · Nov 4, 2023 · 2a27f4c · 2a27f4c
1 parent 719f2cb
commit 2a27f4c
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/core.jl b/src/core.jl
@@ -572,7 +572,7 @@ end
 function (op::Operator)(children::NTuple{N,Formula}) where {N}
     if arity(op) == 2 && length(children) > arity(op)
         if associativity(op) == :right
-            children = (c1, op(children[2:end]))
+            children = (children[1], op(children[2:end]))
         else
             children = (op(children[1:end-1]), children[end])
         end
@@ -588,9 +588,6 @@ function (op::Operator)(children::NTuple{N,Formula}) where {N}
     # println(typeof.(children))
 end
 
-# TODO is the purpose of this to remove ambiguity? TODO place properly, and add comment
-(c::Truth)(::Tuple{}) = c
-
 ############################################################################################
 #### SyntaxBranch ##########################################################################
 ############################################################################################