diff options
| author | Son Ho | 2022-12-16 17:11:35 +0100 |
|---|---|---|
| committer | Son HO | 2023-02-03 11:21:46 +0100 |
| commit | 9b37e05e4861375f40dfdd35472468354f21280c (patch) | |
| tree | cca1582019f828c10cfc2a7419eaf00d1be321d6 /compiler/SCC.ml | |
| parent | c9bc12605e0760a2f452af47badb42a0069e60c6 (diff) | |
Fix some bugs
Diffstat (limited to 'compiler/SCC.ml')
| -rw-r--r-- | compiler/SCC.ml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/compiler/SCC.ml b/compiler/SCC.ml index 2095c350..d9a4cd3e 100644 --- a/compiler/SCC.ml +++ b/compiler/SCC.ml @@ -94,15 +94,6 @@ module Make (Id : OrderedType) = struct *) let reorder_sccs (id_deps : Id.t list IdMap.t) (ids : Id.t list) (sccs : Id.t list list) : sccs = - log#ldebug - (lazy - ("reorder_sccs:" ^ "\n- id_deps: " - ^ IdMap.show (Print.list_to_string Id.show_t) id_deps - ^ "\n- ids: " - ^ Print.list_to_string Id.show_t ids - ^ "\n- sccs: " - ^ Print.list_to_string (Print.list_to_string Id.show_t) sccs)); - (* Map the identifiers to the SCC indices *) let id_to_scc = IdMap.of_list |