From 2ac1a8d8a138c944943ad14ba06b311cc11b631c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 26 May 2021 21:27:07 +0200
Subject: [PATCH] Remove outdated #use directive in debug.ml.

---
 debug.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/debug.ml b/debug.ml
index ee868b6..d36bfd0 100644
--- a/debug.ml
+++ b/debug.ml
@@ -18,9 +18,6 @@
 #require "sek";;
 open Sek;;
 
-(* This line helps replay scenarios produced by the fuzzer. *)
-#use "fuzz/src/Misc.ml";;
-
 (* Install printers that produce debugging output. *)
 #install_printer E.format;;
 #install_printer P.format;;
-- 
GitLab