From da178a880e3ace820b41d38b191d3785b82991f5 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 1 Jul 2010 17:21:14 +0200
Subject: Imported Upstream version 8.2pl2+dfsg

---
 checker/mod_checking.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker')

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;
-- 
cgit v1.2.3