Avoid performing pointless state changes
commit72ea0ba85bce85bf749a217fb86c1b5715bac859
authormalc <av1474@comtv.ru>
Sun, 29 Sep 2013 16:14:46 +0000 (29 20:14 +0400)
committermalc <av1474@comtv.ru>
Sun, 29 Sep 2013 16:14:46 +0000 (29 20:14 +0400)
treeec0a64cff1c53d06422abd40b8cbfb7bd4e1aa46
parent63f6094a865e9e8d32a84ba9808c995e85b06393
Avoid performing pointless state changes
main.ml