diff options
Diffstat (limited to 'asmcomp/i386')
| -rw-r--r-- | asmcomp/i386/arch.ml | 2 | ||||
| -rw-r--r-- | asmcomp/i386/emit.mlp | 2 | ||||
| -rw-r--r-- | asmcomp/i386/emit_nt.mlp | 2 | ||||
| -rw-r--r-- | asmcomp/i386/proc.ml | 2 | ||||
| -rw-r--r-- | asmcomp/i386/proc_nt.ml | 2 | ||||
| -rw-r--r-- | asmcomp/i386/reload.ml | 2 | ||||
| -rw-r--r-- | asmcomp/i386/scheduling.ml | 2 | ||||
| -rw-r--r-- | asmcomp/i386/selection.ml | 2 |
8 files changed, 8 insertions, 8 deletions
diff --git a/asmcomp/i386/arch.ml b/asmcomp/i386/arch.ml index 04d673d91..5ffbeeb23 100644 --- a/asmcomp/i386/arch.ml +++ b/asmcomp/i386/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/emit.mlp b/asmcomp/i386/emit.mlp index 881a936a1..7ac0e4e7d 100644 --- a/asmcomp/i386/emit.mlp +++ b/asmcomp/i386/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/emit_nt.mlp b/asmcomp/i386/emit_nt.mlp index 7091b3df8..e010cf8cc 100644 --- a/asmcomp/i386/emit_nt.mlp +++ b/asmcomp/i386/emit_nt.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/proc.ml b/asmcomp/i386/proc.ml index d2e3cdda9..55cb32c9b 100644 --- a/asmcomp/i386/proc.ml +++ b/asmcomp/i386/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/proc_nt.ml b/asmcomp/i386/proc_nt.ml index 5e617ff1a..ebed8f647 100644 --- a/asmcomp/i386/proc_nt.ml +++ b/asmcomp/i386/proc_nt.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/reload.ml b/asmcomp/i386/reload.ml index 539d45dae..66ad6a140 100644 --- a/asmcomp/i386/reload.ml +++ b/asmcomp/i386/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/scheduling.ml b/asmcomp/i386/scheduling.ml index 6f018cc87..cbfaa2111 100644 --- a/asmcomp/i386/scheduling.ml +++ b/asmcomp/i386/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index 5a8720fbe..2e0f5a737 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |