Update

[l4.git] / l4 / pkg / ocaml / ocaml / contrib / asmcomp / mips / reload.ml

diff --git a/l4/pkg/ocaml/ocaml/contrib/asmcomp/mips/reload.ml b/l4/pkg/ocaml/ocaml/contrib/asmcomp/mips/reload.ml
new file mode 100644 (file)
index 0000000..26a620b
--- /dev/null
+++ b/l4/pkg/ocaml/ocaml/contrib/asmcomp/mips/reload.ml
@@ -0,0 +1,18 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
+(*                                                                     *)
+(*  Copyright 1996 Institut National de Recherche en Informatique et   *)
+(*  en Automatique.  All rights reserved.  This file is distributed    *)
+(*  under the terms of the Q Public License version 1.0.               *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+
+(* Reloading for the Mips *)
+
+let fundecl f =
+  (new Reloadgen.reload_generic)#fundecl f