Commit 30804497 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] update script to new API

parent 80771a89
......@@ -2,8 +2,8 @@ let foo () =
if Project.get_name (Project.current ()) <> "prj" then begin
let prj = Project.create "prj" in
let () = Project.set_current prj in
File.init_from_c_files
[File.from_filename "tests/builtins/big_local_array.i"]
let f = Filepath.Normalized.of_string "tests/builtins/big_local_array.i" in
File.init_from_c_files [File.from_filename f]
end
let () = Db.Main.extend foo
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment