From 28599bb6760590b8040b1d09936507e4aa7dd980 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 7 Apr 2021 11:20:16 +0200
Subject: Dune: fix coqbyte shim after byterun->coqrun renaming

---
 dev/shim/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/shim/dune b/dev/shim/dune
index e4cc7699f0..2c7f9c3fa9 100644
--- a/dev/shim/dune
+++ b/dev/shim/dune
@@ -26,7 +26,7 @@
  (targets coqbyte-prelude)
  (deps
   %{bin:coqtop.byte}
-  %{lib:coq-core.kernel:../../stublibs/dllbyterun_stubs.so}
+  %{lib:coq-core.kernel:../../stublibs/dllcoqrun_stubs.so}
   %{project_root}/theories/Init/Prelude.vo)
  (action
   (with-stdout-to %{targets}
-- 
cgit v1.2.3