summaryrefslogtreecommitdiff
path: root/asmcomp/split.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
committerAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
commita0a14c08fa467bc6a40b268f0dbba9568e241e17 (patch)
tree0a248584e83daee65471533c0d5c34252c333527 /asmcomp/split.ml
parent05c973e6ed4be5e2fb28ef97b9659c9677ccbfd1 (diff)
downloadocaml-a0a14c08fa467bc6a40b268f0dbba9568e241e17.tar.gz
Enable and fix more warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/split.ml')
-rw-r--r--asmcomp/split.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/split.ml b/asmcomp/split.ml
index da5cdf1f5e..a7effdda32 100644
--- a/asmcomp/split.ml
+++ b/asmcomp/split.ml
@@ -21,7 +21,7 @@ open Mach
type subst = Reg.t Reg.Map.t
-let subst_reg r sub =
+let subst_reg r (sub : subst) =
try
Reg.Map.find r sub
with Not_found ->