Blame frama-c-1.4-ptests-fix-for-ocaml-3.11.2.patch
|
Mark Rader |
83155ba |
--- frama-c-Beryllium-20090902.old/ptests/ptests.ml 2010-02-10 21:12:10.117393041 -0500
|
|
Mark Rader |
83155ba |
+++ frama-c-Beryllium-20090902/ptests/ptests.ml 2010-02-10 21:12:16.789253456 -0500
|
|
Mark Rader |
83155ba |
@@ -54,7 +54,7 @@
|
|
Mark Rader |
83155ba |
fun a b -> let r = temp_file a b in
|
|
Mark Rader |
83155ba |
cygpath r
|
|
Mark Rader |
83155ba |
else
|
|
Mark Rader |
83155ba |
- temp_file
|
|
Mark Rader |
83155ba |
+ (fun x y -> temp_file x y)
|
|
Mark Rader |
83155ba |
end
|
|
Mark Rader |
83155ba |
|
|
Mark Rader |
83155ba |
let default_env var value =
|