From ffad901b702fe517b4cd6448cf4f2274e42ef128 Mon Sep 17 00:00:00 2001
From: Carine Morel <carine@tarides.com>
Date: Tue, 26 Nov 2024 20:34:08 +0100
Subject: [PATCH] debug mdx test.

---
 src/michael_scott_queue/michael_scott_queue_intf.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/michael_scott_queue/michael_scott_queue_intf.mli b/src/michael_scott_queue/michael_scott_queue_intf.mli
index e2c3b7fc..3011b41e 100644
--- a/src/michael_scott_queue/michael_scott_queue_intf.mli
+++ b/src/michael_scott_queue/michael_scott_queue_intf.mli
@@ -123,7 +123,7 @@ module type MS_QUEUE = sig
    being performed here. In practice, using a barrier in this manner is unnecessary.
 
 
-    {@ocaml non-deterministic[
+    {@ocaml non-deterministic=command[
       # open Saturn.Queue
       # let t : string t = create ()
       val t : string t = <abstr>