From 57a582e450390366c6ab8a5c8eef5f72bdfd7189 Mon Sep 17 00:00:00 2001
From: Nikhil Swamy <nikswamy@users.noreply.github.com>
Date: Tue, 15 Oct 2024 15:25:56 -0700
Subject: [PATCH] fix dune file to use mtime.clock

---
 ocaml/fstar-lib/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocaml/fstar-lib/dune b/ocaml/fstar-lib/dune
index e819359e059..44f9795a6e7 100644
--- a/ocaml/fstar-lib/dune
+++ b/ocaml/fstar-lib/dune
@@ -13,7 +13,7 @@
     pprint
     process
     sedlex
-    mtime.clock.os
+    mtime.clock
  )
  (modes native byte)
  ; ^ Note: we need to compile fstar-lib in bytecode since some