remove an unused variable
This commit is contained in:
parent
37bfbc4b79
commit
7fd04a21a1
|
@ -10,7 +10,6 @@ pred fails(uint a) -> bool {
|
|||
}
|
||||
|
||||
fn main() {
|
||||
let uint a = 5u;
|
||||
let uint b = 4u;
|
||||
claim fails(b);
|
||||
}
|
Loading…
Reference in New Issue