--- frama-c-Beryllium-20090902.old/ptests/ptests.ml 2010-02-10 21:12:10.117393041 -0500
+++ frama-c-Beryllium-20090902/ptests/ptests.ml 2010-02-10 21:12:16.789253456 -0500
@@ -54,7 +54,7 @@
fun a b -> let r = temp_file a b in
cygpath r
else
- temp_file
+ (fun x y -> temp_file x y)
end
let default_env var value =