From 4ee0cedff7726a56ebd53125995a7ae131660b4a Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 18 Aug 2020 13:07:54 +0200
Subject: Rename VM-related kernel/cfoo files to kernel/vmfoo

---
 kernel/nativelambda.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/nativelambda.ml')

diff --git a/kernel/nativelambda.ml b/kernel/nativelambda.ml
index b00b96018f..99090f0147 100644
--- a/kernel/nativelambda.ml
+++ b/kernel/nativelambda.ml
@@ -395,8 +395,8 @@ let rec get_alias env (kn, u as p) =
     match tps with
     | None -> p
     | Some tps ->
-       match Cemitcodes.force tps with
-       | Cemitcodes.BCalias kn' -> get_alias env (kn', u)
+       match Vmemitcodes.force tps with
+       | Vmemitcodes.BCalias kn' -> get_alias env (kn', u)
        | _ -> p
 
 let prim env kn p args =
-- 
cgit v1.2.3