summaryrefslogtreecommitdiff
path: root/asmcomp/proc.mli
diff options
context:
space:
mode:
Diffstat (limited to 'asmcomp/proc.mli')
-rw-r--r--asmcomp/proc.mli13
1 files changed, 13 insertions, 0 deletions
diff --git a/asmcomp/proc.mli b/asmcomp/proc.mli
index 9e848b4a4a..231af20b8f 100644
--- a/asmcomp/proc.mli
+++ b/asmcomp/proc.mli
@@ -1,3 +1,16 @@
+(***********************************************************************)
+(* *)
+(* Caml Special Light *)
+(* *)
+(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
+(* *)
+(* Copyright 1995 Institut National de Recherche en Informatique et *)
+(* Automatique. Distributed only by permission. *)
+(* *)
+(***********************************************************************)
+
+(* $Id$ *)
+
(* Processor descriptions *)
(* The Use_default exception is raised by the selection and reloading