summaryrefslogtreecommitdiff
path: root/testsuite/tests/letrec/lists.ml
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/letrec/lists.ml')
-rw-r--r--testsuite/tests/letrec/lists.ml12
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/letrec/lists.ml b/testsuite/tests/letrec/lists.ml
index 5686e49357..f9dec61525 100644
--- a/testsuite/tests/letrec/lists.ml
+++ b/testsuite/tests/letrec/lists.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Gabriel Scherer, projet Gallium, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2012 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed *)
+(* under the terms of the Q Public License version 1.0. *)
+(* *)
+(***********************************************************************)
+
(* a test with lists, because cyclic lists are fun *)
let test =
let rec li = 0::1::2::3::4::5::6::7::8::9::li in