diff options
Diffstat (limited to 'asmcomp/arm')
| -rw-r--r-- | asmcomp/arm/arch.ml | 2 | ||||
| -rw-r--r-- | asmcomp/arm/emit.mlp | 2 | ||||
| -rw-r--r-- | asmcomp/arm/proc.ml | 2 | ||||
| -rw-r--r-- | asmcomp/arm/reload.ml | 2 | ||||
| -rw-r--r-- | asmcomp/arm/scheduling.ml | 2 | ||||
| -rw-r--r-- | asmcomp/arm/selection.ml | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml index aafb094b7..845ea9733 100644 --- a/asmcomp/arm/arch.ml +++ b/asmcomp/arm/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/emit.mlp b/asmcomp/arm/emit.mlp index cfcb0c94f..9da7beab8 100644 --- a/asmcomp/arm/emit.mlp +++ b/asmcomp/arm/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/proc.ml b/asmcomp/arm/proc.ml index 06b085b4d..705f8c6fe 100644 --- a/asmcomp/arm/proc.ml +++ b/asmcomp/arm/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/reload.ml b/asmcomp/arm/reload.ml index 65d811817..c5b137abc 100644 --- a/asmcomp/arm/reload.ml +++ b/asmcomp/arm/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/scheduling.ml b/asmcomp/arm/scheduling.ml index 8f49ad1ee..4b037289b 100644 --- a/asmcomp/arm/scheduling.ml +++ b/asmcomp/arm/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/selection.ml b/asmcomp/arm/selection.ml index 1574bf01e..bd165898c 100644 --- a/asmcomp/arm/selection.ml +++ b/asmcomp/arm/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |