diff options
| author | Son Ho | 2022-11-11 15:57:13 +0100 |
|---|---|---|
| committer | Son Ho | 2022-11-11 15:57:13 +0100 |
| commit | 61740913f8af53f0c1054375482b980ccb12f089 (patch) | |
| tree | 1afcb424de7d9ce28c3cf6e468011e0b6cb135b7 /compiler | |
| parent | bbc9e0b01516ba7387931bca4d32aa6f7210f9eb (diff) | |
Move the fstar files to the new backends directory
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/Translate.ml | 2 |
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... *) |