[r2003-05-24 19:59:19 by cvscast] Cosmetique

Original author: cvscast
Date: 2003-05-24 19:59:19+00:00

driver/cduce.ml

@@ -68,7 +68,7 @@ let rec print_exn ppf = function
         print_norm t;
       Format.fprintf ppf "but its infered type is:@\n%a@\n" 
         print_norm s;
-      Format.fprintf ppf "which is not a subtype, as shown by the sample " ;
+      Format.fprintf ppf "which is not a subtype, as shown by the sample:@\n" ;
       Location.protect ppf
 	(fun ppf ->
 	   Sample.print ppf (Sample.get (Types.diff s t)));