qualification of type PN in Heb.mkPN to resolve overloading

2014-02-05 12:39:01 +00:00
1 parent 70792d738e
commit 91a97d1d86
@@ -79,7 +79,7 @@


  mkPN  = overload {
-    mkPN : Str -> Gender -> PN 
+    mkPN : Str -> Gender -> CatHeb.PN 
    = mkProperNoun ;
   } ;