From b06de08733bb01efcbb8b902fe3157b7045c8bb3 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Sun, 22 Apr 2018 15:27:22 +0200
Subject: Infrastructure for ocamldebug on the checker

---
 dev/checker.dbg | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 dev/checker.dbg

(limited to 'dev/checker.dbg')

diff --git a/dev/checker.dbg b/dev/checker.dbg
new file mode 100644
index 000000000..9c9ab29e0
--- /dev/null
+++ b/dev/checker.dbg
@@ -0,0 +1,5 @@
+load_printer threads.cma
+load_printer str.cma
+load_printer clib.cma
+load_printer lib.cma
+load_printer check.cma
-- 
cgit v1.2.3