diff options
Diffstat (limited to 'asmcomp/power')
| -rw-r--r-- | asmcomp/power/arch.ml | 2 | ||||
| -rw-r--r-- | asmcomp/power/emit.mlp | 2 | ||||
| -rw-r--r-- | asmcomp/power/proc.ml | 2 | ||||
| -rw-r--r-- | asmcomp/power/reload.ml | 2 | ||||
| -rw-r--r-- | asmcomp/power/scheduling.ml | 2 | ||||
| -rw-r--r-- | asmcomp/power/selection.ml | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/asmcomp/power/arch.ml b/asmcomp/power/arch.ml index 8828de7c0..5da85099e 100644 --- a/asmcomp/power/arch.ml +++ b/asmcomp/power/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/emit.mlp b/asmcomp/power/emit.mlp index b6496f987..efa215baa 100644 --- a/asmcomp/power/emit.mlp +++ b/asmcomp/power/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/proc.ml b/asmcomp/power/proc.ml index ab8e5a5d5..6eaacbbad 100644 --- a/asmcomp/power/proc.ml +++ b/asmcomp/power/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/reload.ml b/asmcomp/power/reload.ml index 3f74c3f5e..ef0ab79df 100644 --- a/asmcomp/power/reload.ml +++ b/asmcomp/power/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/scheduling.ml b/asmcomp/power/scheduling.ml index aac37c879..90d08831d 100644 --- a/asmcomp/power/scheduling.ml +++ b/asmcomp/power/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/selection.ml b/asmcomp/power/selection.ml index d87b300cc..7c37f53ba 100644 --- a/asmcomp/power/selection.ml +++ b/asmcomp/power/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |