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/byterun/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/byterun')

diff --git a/kernel/byterun/dune b/kernel/byterun/dune
index b14ad5c558..4d2000bb52 100644
--- a/kernel/byterun/dune
+++ b/kernel/byterun/dune
@@ -1,5 +1,5 @@
 (library
- (name byterun)
+ (name coqrun)
  (synopsis "Coq's Kernel Abstract Reduction Machine [C implementation]")
  (public_name coq-core.vm)
  (foreign_stubs
-- 
cgit v1.2.3