as_frag: rm extraneous printf, modify comment.

src/parser/parse.fsy

@@ -58,7 +58,6 @@ let as_frag d ds =
     | d::ds ->
       begin match d.d with
         | TopLevelModule m' -> 
-				Printf.printf "as_frag: another TopLevel\n" ;
 				as_mlist (Module(m, (mk_decl (TopLevelModule(m)) r doc) :: (List.rev cur))::out) ((m',d.drange,d.doc), []) ds
         | _ -> as_mlist out ((m,r,doc), d::cur) ds
       end in
@@ -67,7 +66,7 @@ let as_frag d ds =
         let ms = as_mlist [] ((m,d.drange,d.doc), []) ds in
         begin match ms with
         | _::Module(n, _)::_ ->
-		(* This check hard-fails in dep.num_of_toplevelmods. *)
+		(* This check is coded to hard-fail in dep.num_of_toplevelmods. *)
         let msg = "Support for more than one module in a file is deprecated" in
         print2_warning "%s (Warning): %s\n" (string_of_range (range_of_lid n)) msg
         | _ -> ()