cd50a651c0f05f86c96089d618cb3276bfce4620
1 let version = "0.2.4rc5"
4 try (Sys.getenv
"COCCINELLE_HOME")
5 with Not_found
->"/usr/local/share/coccinelle"
7 let std_iso = ref (Filename.concat
path "standard.iso")
8 let std_h = ref (Filename.concat
path "standard.h")