diff options
| author | Brian Campbell | 2017-08-23 17:00:42 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-23 17:00:42 +0100 |
| commit | 867741c341a1f32facd46494f57a4d0966d42fae (patch) | |
| tree | d28e78d848b19acab2986a7ccd3c76f3f5594185 /src/monomorphise.ml | |
| parent | d97c2e366a7b14db53b0107856499b7abd573af8 (diff) | |
Typo
Diffstat (limited to 'src/monomorphise.ml')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |