From 0a713539d79de30e343c92f85c0448c00c388594 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Sun, 8 Dec 2024 16:52:58 -0800
Subject: [PATCH] plugin: use fstar.pluginlib

The plugin library is distinguished in the new F* build.
---
 src/ocaml/plugin/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ocaml/plugin/dune b/src/ocaml/plugin/dune
index ac2d5a42f..0fc2db3d6 100644
--- 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)