summaryrefslogtreecommitdiff
path: root/asmcomp/cmmgen.mli
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2007-02-15 18:36:08 +0000
committerAlain Frisch <alain@frisch.fr>2007-02-15 18:36:08 +0000
commit5b23012b0e306f7b2b4f70f05d66ef5926347d55 (patch)
treea4717ec8a7f2b59ef3a4697267f5221ef844e692 /asmcomp/cmmgen.mli
parenta06311fc5fc7159796c0385d8b7f70a6278d904b (diff)
downloadocaml-5b23012b0e306f7b2b4f70f05d66ef5926347d55.tar.gz
wrong branch... rollback
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/cmmgen.mli')
-rw-r--r--asmcomp/cmmgen.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.mli b/asmcomp/cmmgen.mli
index f86df312d9..fa4dba277a 100644
--- a/asmcomp/cmmgen.mli
+++ b/asmcomp/cmmgen.mli
@@ -21,7 +21,7 @@ val send_function: int -> Cmm.phrase
val curry_function: int -> Cmm.phrase list
val entry_point: string list -> Cmm.phrase
val global_table: string list -> Cmm.phrase
-val globals_map: (string * Digest.t * Digest.t) list -> Cmm.phrase
+val globals_map: (string * string) list -> Cmm.phrase
val frame_table: string list -> Cmm.phrase
val data_segment_table: string list -> Cmm.phrase
val code_segment_table: string list -> Cmm.phrase