diff options
Diffstat (limited to 'tests/gen_test.ml')
-rw-r--r-- | tests/gen_test.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/gen_test.ml b/tests/gen_test.ml index 844582b..4c466e8 100644 --- a/tests/gen_test.ml +++ b/tests/gen_test.ml @@ -20,7 +20,7 @@ (* LICENSE. *) (**************************************************************************) -(*i $Id: gen_test.ml 249 2012-06-27 08:11:14Z signoles $ i*) +(*i $Id: gen_test.ml 259 2014-10-29 10:00:46Z signoles $ i*) let ok_ref = ref 0 let ok () = incr ok_ref |