From 811937f3a657d75faca0df25e80801588b6d384e Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 20 Feb 2018 18:34:57 +0000
Subject: Remove temporary debugging message

---
 src/monomorphise.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index cc7a2603..2355eff6 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -2096,8 +2096,6 @@ let rewrite_size_parameters env (Defs defs) =
     in
     let new_nexps = NexpSet.of_list (List.map fst
       (List.filter (fun (nexp,i) -> IntSet.mem i parameters_to_rewrite) nexp_list)) in
-let _ = print_endline ("Fn " ^ string_of_id id ^ " rewrite " ^
-                          String.concat "," (List.map string_of_int (IntSet.elements parameters_to_rewrite))) in
     match Bindings.find id fsizes with
     | old,old_nexps -> Bindings.add id (IntSet.union old parameters_to_rewrite,
                                         NexpSet.union old_nexps new_nexps) fsizes
-- 
cgit v1.2.3