Commit 2ac1a8d8 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove outdated #use directive in debug.ml.

parent 3868c5e4
......@@ -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;;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment