From 0326c07c16c7f42cb4964d5513ccc31f3bd956f2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 8 Feb 2019 19:44:59 -0600
Subject: [PATCH] refactor: add `Sidekick_util` with some re-exports

---
 src/util/Sidekick_util.ml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/util/Sidekick_util.ml

diff --git a/src/util/Sidekick_util.ml b/src/util/Sidekick_util.ml
new file mode 100644
index 00000000..809afae7
--- /dev/null
+++ b/src/util/Sidekick_util.ml
@@ -0,0 +1,11 @@
+
+(* re-exports *)
+module Fmt = CCFormat
+module Vec = Msat.Vec
+module Log = Msat.Log
+
+module Util = Util
+module Backtrack_stack = Backtrack_stack
+module Error = Error
+module IArray = IArray
+module Intf = Intf