X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Frun;h=2bdbc7bd27d083a12c2a7c5e3298fb128bcc012f;hb=ecf29d252b740979357afcfa26173b09ea4c95f9;hp=77957cdc081974d77ae49d47e8a3614ff557065a;hpb=3b65954878fa6afdbcbc7e120bc0588f0e10581a;p=fireball-separation.git

diff --git a/ocaml/run b/ocaml/run
index 77957cd..2bdbc7b 100644
--- a/ocaml/run
+++ b/ocaml/run
@@ -9,7 +9,7 @@ echo
 trap 'echo' SIGINT
 
 
-./test4.out 2>&1 | tee $file | stdbuf -o0 grep -Po '(?<=measure=)[^ ]*' | stdbuf -o0 tr '\n' ' '
+./lambda4_test.out 2>&1 | tee $file | stdbuf -o0 grep -Po '(?<=measure=)[^ ]*' | stdbuf -o0 tr '\n' ' '
 
 if [ $? -eq 0 ]
 then