Delyan Angelov 9772eb7c96 examples: fix warnings when doing `./v -W -progress -check-syntax build-examples`		2020-10-26 13:14:26 +02:00
..
automaton.v	examples: fix warnings when doing `./v -W -progress -check-syntax build-examples`	2020-10-26 13:14:26 +02:00