Commit 902a086b authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2003-05-11 11:23:36+00:00
parent 3f8d33b4
......@@ -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 =
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment