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