Small fix

aclai-lab · Sep 30, 2024 · f1704bd · f1704bd
1 parent a01eb0c
commit f1704bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/many-valued-logics/finite-index-algebras.jl b/src/many-valued-logics/finite-index-algebras.jl
@@ -29,7 +29,7 @@ isbot(t::FiniteIndexTruth) = t.index == UInt8(2)
 istop(t::UInt8) = t == UInt8(1)
 isbot(t::UInt8) = t == UInt8(2)
 
-function syntaxstring(t::FiniteIndexTruth)
+function syntaxstring(t::FiniteIndexTruth; kwargs...)
     if t.index < UInt8(3)
         return Char(UInt16(8867) + t.index)
     else