Fixed top-level negation parsing

sisl · Aug 27, 2024 · 48add99 · 48add99
1 parent f5b5e81
commit 48add99
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/stl.jl b/src/stl.jl
@@ -605,7 +605,10 @@ function parse_formula(ex)
             ϕ = parse_formula(ϕ_ex)
             ψ = parse_formula(ψ_ex)
             return :(Until($ϕ, $ψ, $I))
-        else
+		elseif var ∈ [:¬, :!]
+			ϕ_inner = parse_formula(strip_negation(ex))
+			return :(Negation($ϕ_inner))
+		else
 			core = body.head == :block ? body.args[end] : body
 			if typeof(core) == Bool
 				return :(Atomic(value=$(esc(core))))