From a3f47afba5c443d3eb60d16a18065a34ec3d2242 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 12 Mar 2025 16:17:19 +0100
Subject: [PATCH] Refactoring: remove the little function [none].
---
src/Engine.ml | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/src/Engine.ml b/src/Engine.ml
index 624a3df..98bd1ed 100644
--- a/src/Engine.ml
+++ b/src/Engine.ml
@@ -1498,10 +1498,7 @@ let source : string option =
(* Reading input data from the source file whose name was given on the command
line, perform a number of test runs. *)
-let none () =
- ()
-
-let main ?prologue:(prologue=none) fuel =
+let main ?prologue:(prologue=ignore) fuel =
(* Printing the following two lines at the beginning of every scenario
allows us to use [Monolith.Support], under the name [Sup], in our
scenarios. *)
--
GitLab