summaryrefslogtreecommitdiffstats
path: root/testsuite/tests/runtime-errors/stackoverflow.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2013-04-04 15:27:13 +0000
committerDamien Doligez <damien.doligez-inria.fr>2013-04-04 15:27:13 +0000
commita3f9e656682c7fee1cb3a9ff61626ea2b3840d41 (patch)
treeee928c9f01174d7848b3790af6555be917d81a89 /testsuite/tests/runtime-errors/stackoverflow.ml
parente2eacb06cdc9599f2ab699a5b552477d5da368ed (diff)
add a few missing copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testsuite/tests/runtime-errors/stackoverflow.ml')
-rw-r--r--testsuite/tests/runtime-errors/stackoverflow.ml12
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/runtime-errors/stackoverflow.ml b/testsuite/tests/runtime-errors/stackoverflow.ml
index ab53b8b06..21fe04bd2 100644
--- a/testsuite/tests/runtime-errors/stackoverflow.ml
+++ b/testsuite/tests/runtime-errors/stackoverflow.ml
@@ -1,3 +1,15 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
+(* *)
+(* Copyright 2001 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. *)
+(* *)
+(***********************************************************************)
+
let rec f x =
if not (x = 0 || x = 10000 || x = 20000)
then 1 + f (x + 1)