[r2003-05-24 21:02:32 by cvscast] Beppe: typos

Original author: cvscast
Date: 2003-05-24 21:02:32+00:00

typing/typer.ml

@@ -699,7 +699,7 @@ and type_check' loc env e constr precise = match e with
       in
       if not (Types.Record.has_empty_record rconstr) then
 	raise_loc loc 
-	  (ShouldHave (constr,"More field should be present"));
+	  (ShouldHave (constr,"More fields should be present"));
       let t = 
 	Types.record' (false, LabelMap.from_list (fun _ _ -> assert false) res)
       in