Fix ! for Const

[skip ci]
JuliaSymbolics · Aug 29, 2024 · 7ddad9c · 7ddad9c
1 parent 678507c
commit 7ddad9c
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/methods.jl b/src/methods.jl
@@ -186,7 +186,13 @@ end
 for f in [!, ~]
     @eval begin
         promote_symtype(::$(typeof(f)), ::Type{<:Bool}) = Bool
-        (::$(typeof(f)))(s::Symbolic{Bool}) = _Term(Bool, !, [s])
+        function (::$(typeof(f)))(s::Symbolic{Bool})
+            if isconst(s)
+                s = s.impl.val
+                return !s
+            end
+            _Term(Bool, !, [s])
+        end
     end
 end