Remove unnecessary export

jakobjpeters · Mar 14, 2024 · 8b75790 · 8b75790
1 parent 8ce7141
commit 8b75790
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/PAndQ.jl b/src/PAndQ.jl
@@ -62,7 +62,7 @@ export
  is_tautology, is_contradiction,
  is_truth, is_contingency,
  is_satisfiable, is_falsifiable,
- is_equisatisfiable, ==
+ is_equisatisfiable
 
 include("printing.jl")