From 9bced8dea437afa3df7f1a3ab733d8e5db652d42 Mon Sep 17 00:00:00 2001
From: Samin Ishtiaq <sishtiaq@microsoft.com>
Date: Mon, 3 Oct 2016 10:10:38 +0100
Subject: [PATCH] as_frag: rm extraneous printf, modify comment.

---
 src/parser/parse.fsy | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/parser/parse.fsy b/src/parser/parse.fsy
index 41e9dc48471..2275cdf2957 100644
--- a/src/parser/parse.fsy
+++ b/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
         | _ -> ()