summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
Diffstat (limited to 'compiler')
-rw-r--r--compiler/Translate.ml2
1 files changed, 1 insertions, 1 deletions
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... *)