From 8b75790c999e3ee08b3aafbbdf67bbeb91b1b0be Mon Sep 17 00:00:00 2001
From: Jakob Peters <jakobj.peters@gmail.com>
Date: Wed, 13 Mar 2024 23:13:06 -0700
Subject: [PATCH] Remove unnecessary export

---
 src/PAndQ.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/PAndQ.jl b/src/PAndQ.jl
index 87547b3..c06d6a8 100644
--- 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")