summaryrefslogtreecommitdiff
path: root/asmcomp/asmlink.mli
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2006-10-17 12:33:58 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2006-10-17 12:33:58 +0000
commit5901580fe95106dfd49d9e25ff53fff578db8eb6 (patch)
tree422a2e224014a8fcb2b3ba22070cdedab3238a4f /asmcomp/asmlink.mli
parentf2027274dd75aedfa30a60ec7c68331bd6759854 (diff)
downloadocaml-5901580fe95106dfd49d9e25ff53fff578db8eb6.tar.gz
Better handling of .cmx files in combination with -for-pack (PR#4124)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7693 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/asmlink.mli')
-rw-r--r--asmcomp/asmlink.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli
index 9ae9f9ead6..28c5287daf 100644
--- a/asmcomp/asmlink.mli
+++ b/asmcomp/asmlink.mli
@@ -31,6 +31,7 @@ type error =
| Assembler_error of string
| Linking_error
| Multiple_definition of string * string * string
+ | Missing_cmx of string * string
exception Error of error