diff options
Diffstat (limited to 'asmcomp/split.ml')
| -rw-r--r-- | asmcomp/split.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/split.ml b/asmcomp/split.ml index da5cdf1f5..a7effdda3 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 -> |