summaryrefslogtreecommitdiff
path: root/checker/mod_checking.ml
diff options
context:
space:
mode:
Diffstat (limited to 'checker/mod_checking.ml')
-rw-r--r--checker/mod_checking.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/mod_checking.ml b/checker/mod_checking.ml
index 9e7a2336..24000591 100644
--- a/checker/mod_checking.ml
+++ b/checker/mod_checking.ml
@@ -306,7 +306,7 @@ and check_structure_field (s,env) mp lab = function
let sub = join_alias sub (map_mp mp' mp2') in
let sub = add_mp mp' mp2' sub in
(join s sub, register_alias mp' mp2 env)
- with Not_found -> failwith "unkown aliased module")
+ with Not_found -> failwith "unknown aliased module")
| SFBmodtype mty ->
let kn = MPdot(mp, lab) in
check_module_type env mty;