[r2003-05-11 11:23:36 by cvscast] Corrected a typo BEPPE

Original author: cvscast
Date: 2003-05-11 11:23:36+00:00

typing/typer.ml

@@ -462,7 +462,7 @@ let register_global_types b =
 	 raise_loc_generic p.loc "Capture variables are not allowed in types";
        let t = typ s in
        if (p.loc <> noloc) && (Types.is_empty t) then
-	 warning p.loc ("This definition yield an empty type for " ^ v);
+	 warning p.loc ("This definition yields an empty type for " ^ v);
        Types.Print.register_global v t) b
 
 let dump_global_types ppf =