diff options
Diffstat (limited to 'testsuite/interactive')
-rw-r--r-- | testsuite/interactive/lib-gc/alloc.ml | 2 | ||||
-rw-r--r-- | testsuite/interactive/lib-graph-2/graph_test.ml | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/testsuite/interactive/lib-gc/alloc.ml b/testsuite/interactive/lib-gc/alloc.ml index ea103e42a..dbcb3e4fd 100644 --- a/testsuite/interactive/lib-gc/alloc.ml +++ b/testsuite/interactive/lib-gc/alloc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/testsuite/interactive/lib-graph-2/graph_test.ml b/testsuite/interactive/lib-graph-2/graph_test.ml index 217e2fa56..39b845675 100644 --- a/testsuite/interactive/lib-graph-2/graph_test.ml +++ b/testsuite/interactive/lib-graph-2/graph_test.ml @@ -1,13 +1,12 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 2000 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License, with *) -(* the special exception on linking described in file ../../LICENSE. *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) |