De-narrowing should be persistent
commit9c490b11c18e331cc77fb23e155b6441d22d6692
authormalc <av1474@comtv.ru>
Thu, 8 Jul 2010 23:40:12 +0000 (9 03:40 +0400)
committermalc <av1474@comtv.ru>
Thu, 8 Jul 2010 23:40:12 +0000 (9 03:40 +0400)
treead33ca9ded17df230a08d0fd8eb145591e54ba57
parent1ccf666831b4ca6ccec48ae4380016fe2482f299
De-narrowing should be persistent
main.ml