Commit f8e6d34b authored by Andre Maroneze's avatar Andre Maroneze
Browse files

synchronize with frama-c/frama-c!1947

parent 0c12618b
...@@ -64,7 +64,7 @@ let unmemoized_extend_ast () = ...@@ -64,7 +64,7 @@ let unmemoized_extend_ast () =
let register s = let register s =
File.pre_register File.pre_register
(File.NeedCPP (File.NeedCPP
(Datatype.Filepath.of_string s, (s,
ppc ppc
^ Format.asprintf " -I%s" share, ^ Format.asprintf " -I%s" share,
ppk)) ppk))
......
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