HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
coccinelle release 1.0.0-rc2
[bpt/coccinelle.git]
/
cocci.ml
diff --git
a/cocci.ml
b/cocci.ml
index
5a86ffa
..
ff638fb
100644
(file)
--- a/
cocci.ml
+++ b/
cocci.ml
@@
-85,12
+85,12
@@
let sp_of_file2 file iso =
begin
Hashtbl.add _h_ocaml_init (file,iso) ();
match Prepare_ocamlcocci.prepare file xs with
begin
Hashtbl.add _h_ocaml_init (file,iso) ();
match Prepare_ocamlcocci.prepare file xs with
- None -> res
- | Some ocaml_script_file ->
- (* compile file *)
+
None -> res
+
| Some ocaml_script_file ->
+
(* compile file *)
Prepare_ocamlcocci.load_file ocaml_script_file;
(if not !Common.save_tmp_files
Prepare_ocamlcocci.load_file ocaml_script_file;
(if not !Common.save_tmp_files
- then Prepare_ocamlcocci.clean_file ocaml_script_file);
+
then Prepare_ocamlcocci.clean_file ocaml_script_file);
res
end in
Hashtbl.add _hparse (file,iso)
res
end in
Hashtbl.add _hparse (file,iso)