From 5f9675e7d10c67add8bdd13189d912e3b73064ba Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 17 Mar 2021 15:01:39 -0400
Subject: [PATCH] feat: expose Atom.neg

---
 src/core/Sidekick_core.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/Sidekick_core.ml b/src/core/Sidekick_core.ml
index 55e2830e..5c61f624 100644
--- a/src/core/Sidekick_core.ml
+++ b/src/core/Sidekick_core.ml
@@ -609,6 +609,7 @@ module type SOLVER = sig
     val hash : t -> int
     val pp : t CCFormat.printer
 
+    val neg : t -> t
     val formula : t -> lit
     val sign : t -> bool
   end