]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/run
Renamed output files
[fireball-separation.git] / ocaml / run
index 77957cdc081974d77ae49d47e8a3614ff557065a..2bdbc7bd27d083a12c2a7c5e3298fb128bcc012f 100644 (file)
--- 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