From ed4ba4057f29f1563d7a3bdb60f6f4f93b045bc3 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 11 Jun 2019 10:28:00 -0500
Subject: [PATCH] feat: solver actions are the same as CC actions

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

diff --git a/src/core/Sidekick_core.ml b/src/core/Sidekick_core.ml
index b508c856..36ef8cea 100644
--- a/src/core/Sidekick_core.ml
+++ b/src/core/Sidekick_core.ml
@@ -364,7 +364,7 @@ module type SOLVER_INTERNAL = sig
 
   (** {3 hooks for the theory} *)
 
-  type actions
+  type actions = CC_A.Actions.t
 
   val propagate : t -> actions -> lit -> reason:(unit -> lit list) -> A.Proof.t -> unit