From e21c4ca1211a194f6b8229dba9b86b8ee4012be4 Mon Sep 17 00:00:00 2001
From: Arthur Carcano <arthur.carcano@ocamlpro.com>
Date: Tue, 6 Aug 2024 11:18:57 +0200
Subject: [PATCH] Detail run definition

---
 src/symbolic/symbolic_choice.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/symbolic/symbolic_choice.ml b/src/symbolic/symbolic_choice.ml
index fe5fa85bc..8c489dbba 100644
--- a/src/symbolic/symbolic_choice.ml
+++ b/src/symbolic/symbolic_choice.ml
@@ -32,7 +32,8 @@ module CoreImpl = struct
       | Choice of (('a, 'wls) status * ('a, 'wls) status)
       | Stop
 
-    let run (Sched mxf) wls = mxf wls
+    let run (Sched mxf : ('a, 'wls) t) (wls : 'wls) : ('a, 'wls) status =
+      mxf wls
 
     let return x : _ t = Sched (Fun.const (Now x))