plugin: use fstar.pluginlib

The plugin library is distinguished in the new F* build.
FStarLang · Jan 6, 2025 · 0a71353 · 0a71353
1 parent 9d7ecfc
commit 0a71353
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ocaml/plugin/dune b/src/ocaml/plugin/dune
@@ -4,7 +4,7 @@
  (public_name steel)
  (libraries
     batteries
-    fstar.lib
+    fstar.pluginlib
  )
  (modes native)
  (wrapped false)