diff options
| author | Brian Campbell | 2018-02-20 18:34:57 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-20 18:35:13 +0000 |
| commit | 811937f3a657d75faca0df25e80801588b6d384e (patch) | |
| tree | f6d140747fba9213cc4f273d914290f941f7fcab /src | |
| parent | 1e712c162b4ded94cf18f30fc788fc57b5409d69 (diff) | |
Remove temporary debugging message
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 0 insertions, 2 deletions
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 |