fix dune file to use mtime.clock

FStarLang · Oct 15, 2024 · 57a582e · 57a582e
1 parent 1895700
commit 57a582e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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