From 566d0d64a2ebc783500b14afaecae2127eae40a0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 16 Nov 2022 22:30:54 -0500
Subject: [PATCH] detail

---
 src/cdsat/plugin_bool.ml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/cdsat/plugin_bool.ml b/src/cdsat/plugin_bool.ml
index e8f6844f..8707e9d1 100644
--- a/src/cdsat/plugin_bool.ml
+++ b/src/cdsat/plugin_bool.ml
@@ -53,6 +53,13 @@ let on_event (self : t) acts ~unit (ev : Core.Plugin.event) : unit =
     Log.debugf 1 (fun k -> k "(@[cdsat.bool.bcp@ %a@])" (TVar.pp self.vst) v)
   | _ -> ()
 
+(* TODO: BCP *)
+let propagate (self : t) (act : Core.Plugin_action.t) (v : TVar.t)
+    (value : Value.t) : unit =
+  Log.debugf 0 (fun k ->
+      k "(@[bool-plugin.propagate %a@])" (TVar.pp self.vst) v);
+  ()
+
 let term_to_var_hooks (self : t) : _ list =
   let (module A) = self.arg in