From 3bd703714dff733fbfcdfcae591b85bdac6f4b2a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 31 Mar 2021 19:02:00 +0200
Subject: [dune] Rename byterun to coqrun

This seems the official name, the byterun name is just an artifact
from the very preliminary dune build.
---
 kernel/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/dune')

diff --git a/kernel/dune b/kernel/dune
index 0bf51f80ec..af88e9864f 100644
--- a/kernel/dune
+++ b/kernel/dune
@@ -4,7 +4,7 @@
  (public_name coq-core.kernel)
  (wrapped false)
  (modules (:standard \ genOpcodeFiles uint63_31 uint63_63 float64_31 float64_63))
- (libraries lib byterun dynlink))
+ (libraries lib coqrun dynlink))
 
 (executable
   (name genOpcodeFiles)
-- 
cgit v1.2.3