Skip to content

Commit

Permalink
Fix duplicate idents
Browse files Browse the repository at this point in the history
  • Loading branch information
lynzrand authored and bobzhang committed Mar 19, 2024
1 parent a37b950 commit 41bde3c
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions coverage/coverage.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -13,14 +13,6 @@ fn CoverageCounter::incr(self : CoverageCounter, idx : Int) -> Unit {
}
}

pub fn new(size : Int) -> CoverageCounter {
CoverageCounter::new(size)
}

pub fn incr(c : CoverageCounter, idx : Int) -> Unit {
c.incr(idx)
}

fn CoverageCounter::to_string(self : CoverageCounter) -> String {
let mut s = "["
let mut i = 0
Expand Down

0 comments on commit 41bde3c

Please sign in to comment.