Backward compatibility fix.

dboris · dboris · commit 79bda092a1cf · 2025-02-26T08:48:55.000-08:00
diff --git a/src/brisk_reconciler.ml b/src/brisk_reconciler.ml
@@ -1 +1,2 @@
 include Brisk_reconciler_internal
+module RemoteAction = Remote_action
diff --git a/src/brisk_reconciler.mli b/src/brisk_reconciler.mli
@@ -128,3 +128,6 @@ end
 
 module Hooks = Hooks
 module Remote_action = Remote_action
+
+(* For backward compatibility *)
+module RemoteAction = Remote_action

Original file line number	Diff line number	Diff line change
`@@ -1 +1,2 @@`
`1`	`1`	`include Brisk_reconciler_internal`
	`2`	`+module RemoteAction = Remote_action`