diff options
Diffstat (limited to 'otherlibs/dbm')
| -rw-r--r-- | otherlibs/dbm/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/dbm/cldbm.c | 2 | ||||
| -rw-r--r-- | otherlibs/dbm/dbm.ml | 2 | ||||
| -rw-r--r-- | otherlibs/dbm/dbm.mli | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/dbm/Makefile b/otherlibs/dbm/Makefile index 099327d69..dcd068ade 100644 --- a/otherlibs/dbm/Makefile +++ b/otherlibs/dbm/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/dbm/cldbm.c b/otherlibs/dbm/cldbm.c index 0d6cb362d..6c9954a34 100644 --- a/otherlibs/dbm/cldbm.c +++ b/otherlibs/dbm/cldbm.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Francois Rouaix, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/dbm/dbm.ml b/otherlibs/dbm/dbm.ml index f31d29934..26fbb80a5 100644 --- a/otherlibs/dbm/dbm.ml +++ b/otherlibs/dbm/dbm.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/dbm/dbm.mli b/otherlibs/dbm/dbm.mli index f9924427a..9a0c49212 100644 --- a/otherlibs/dbm/dbm.mli +++ b/otherlibs/dbm/dbm.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) |