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

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

(limited to 'tactics')

diff --git a/tactics/redexpr.ml b/tactics/redexpr.ml
index c463c06cd5..a8747e0a7c 100644
--- a/tactics/redexpr.ml
+++ b/tactics/redexpr.ml
@@ -60,7 +60,7 @@ let set_strategy_one ref l  =
   Global.set_strategy k l;
   match k,l with
       ConstKey sp, Conv_oracle.Opaque ->
-        Csymtable.set_opaque_const sp
+        Vmsymtable.set_opaque_const sp
     | ConstKey sp, _ ->
         let cb = Global.lookup_constant sp in
         (match cb.const_body with
@@ -69,7 +69,7 @@ let set_strategy_one ref l  =
               (str "Cannot make" ++ spc () ++
                  Nametab.pr_global_env Id.Set.empty (GlobRef.ConstRef sp) ++
                  spc () ++ str "transparent because it was declared opaque.");
-          | _ -> Csymtable.set_transparent_const sp)
+          | _ -> Vmsymtable.set_transparent_const sp)
     | _ -> ()
 
 let cache_strategy (_,str) =
-- 
cgit v1.2.3