update the test/lus2lic.log.ref which was timestampted at april 2013 !!

src/lv6version.ml

 (** Automatically generated from Makefile *) 
 let tool = "lus2lic"
 let branch = "(no"
-let commit = "424"
-let sha_1 = "6df08d9435db179fd1ca1dd837101236e17738ac"
+let commit = "425"
+let sha_1 = "e6fe13d2abd86d47e2be0c3b12fd8d4532d9c52f"
 let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
 let maintainer = "jahier@imag.fr"

test/lus2lic.sum

-Test Run By jahier on Fri Nov 29 16:21:55 2013
+Test Run By jahier on Fri Nov 29 17:05:42 2013
 Native configuration is i686-pc-linux-gnu
 
 		=== lus2lic tests ===
@@ -1028,7 +1028,3 @@ XPASS: Test bad programs (semantics): lus2lic {-o /tmp/bug.lic should_fail/seman
 # of unexpected failures	76
 # of unexpected successes	21
 # of expected failures		37
-testcase ./lus2lic.tests/non-reg.exp completed in 104 seconds
-testcase ./lus2lic.tests/progression.exp completed in 0 seconds
-testcase ./lus2lic.tests/non-reg.exp completed in 104 seconds
-testcase ./lus2lic.tests/progression.exp completed in 0 seconds