5 lines
68 B
Coq
5 lines
68 B
Coq
|
|
fn main() {
|
||
|
|
a := 10
|
||
|
|
// never used; warning: unused variable `a`
|
||
|
|
}
|