Alexander Medvednikov 1bd8c465d3 do not allow casting bool to int		2019-11-23 20:40:59 +03:00
..
automaton.v	do not allow casting bool to int	2019-11-23 20:40:59 +03:00