From 61740913f8af53f0c1054375482b980ccb12f089 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 15:57:13 +0100
Subject: Move the fstar files to the new backends directory

---
 compiler/Translate.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 959ea5ac..dbf14e97 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -662,7 +662,7 @@ let translate_module (filename : string) (dest_dir : string) (crate : A.crate) :
   let _ =
     (* Retrieve the executable's directory *)
     let exe_dir = Filename.dirname Sys.argv.(0) in
-    let src = open_in (exe_dir ^ "/fstar/Primitives.fst") in
+    let src = open_in (exe_dir ^ "/backends/fstar/Primitives.fst") in
     let tgt_filename = Filename.concat dest_dir "Primitives.fst" in
     let tgt = open_out tgt_filename in
     (* Very annoying: I couldn't find a "cp" function in the OCaml libraries... *)
-- 
cgit v1.2.3