Remove addnavs from goto functions
commit451434adf4bd2de55e8d155a589f7c193de1af5f
authormalc <av1474@comtv.ru>
Tue, 9 Aug 2011 02:43:32 +0000 (9 06:43 +0400)
committermalc <av1474@comtv.ru>
Tue, 9 Aug 2011 02:43:42 +0000 (9 06:43 +0400)
tree79d04fd86b28372e19d6ee0ea45607a65970b1e9
parent2fd0466260d0cd61047529ad8add508de3caec94
Remove addnavs from goto functions
main.ml