From 867741c341a1f32facd46494f57a4d0966d42fae Mon Sep 17 00:00:00 2001 From: Brian Campbell Date: Wed, 23 Aug 2017 17:00:42 +0100 Subject: Typo --- src/monomorphise.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/monomorphise.ml b/src/monomorphise.ml index bde494f4..dbc46002 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -30,7 +30,7 @@ let isubst_union s1 s2 = let subst_src_typ substs t = let rec s_snexp substs (Nexp_aux (ne,l) as nexp) = let re ne = Nexp_aux (ne,l) in - let s_snexp = s_snexp subst in + let s_snexp = s_snexp substs in match ne with | Nexp_var (Kid_aux (_,l) as kid) -> (try KSubst.find kid substs -- cgit v1.2.3