Skip to content

Commit

Permalink
chore(dcd): Remove unneeded comment
Browse files Browse the repository at this point in the history
  • Loading branch information
jubnzv committed Oct 8, 2022
1 parent 9743851 commit a644baa
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/base/DeadCodeDetector.ml
Original file line number Diff line number Diff line change
Expand Up @@ -761,9 +761,7 @@ module DeadCodeDetector (SR : Rep) (ER : Rep) = struct
let bind_name = SCIdentifier.get_id bind_id in
Map.set env ~key:used_ctr
~data:(Map.set bind_name_to_idx ~key:bind_name ~data:idx)
| _ ->
(* TODO: Type aliases (single [Binder] with contract address type). *)
env
| _ -> env
in
let rec aux (used : adts_ty) (s, _ann) =
match s with
Expand Down

0 comments on commit a644baa

Please sign in to comment.