diff options
Diffstat (limited to 'asmcomp/hppa')
| -rw-r--r-- | asmcomp/hppa/arch.ml | 2 | ||||
| -rw-r--r-- | asmcomp/hppa/emit.mlp | 2 | ||||
| -rw-r--r-- | asmcomp/hppa/proc.ml | 2 | ||||
| -rw-r--r-- | asmcomp/hppa/reload.ml | 2 | ||||
| -rw-r--r-- | asmcomp/hppa/scheduling.ml | 2 | ||||
| -rw-r--r-- | asmcomp/hppa/selection.ml | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/asmcomp/hppa/arch.ml b/asmcomp/hppa/arch.ml index eb2e1938d..195c28e6f 100644 --- a/asmcomp/hppa/arch.ml +++ b/asmcomp/hppa/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/emit.mlp b/asmcomp/hppa/emit.mlp index b697a335a..d35544109 100644 --- a/asmcomp/hppa/emit.mlp +++ b/asmcomp/hppa/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/proc.ml b/asmcomp/hppa/proc.ml index c0b40adbe..7ee20040f 100644 --- a/asmcomp/hppa/proc.ml +++ b/asmcomp/hppa/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/reload.ml b/asmcomp/hppa/reload.ml index 54208fcc3..b6fe65980 100644 --- a/asmcomp/hppa/reload.ml +++ b/asmcomp/hppa/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/scheduling.ml b/asmcomp/hppa/scheduling.ml index 0cdd0998c..b669aec21 100644 --- a/asmcomp/hppa/scheduling.ml +++ b/asmcomp/hppa/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/selection.ml b/asmcomp/hppa/selection.ml index 74c546b08..72792e2b0 100644 --- a/asmcomp/hppa/selection.ml +++ b/asmcomp/hppa/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |