Hack to ensure proper inherited cursor is picked up in all cases
commit3ad3dd239f91321f68ba79121370425601a9220c
authormalc <moosotc@gmail.com>
Wed, 26 Aug 2015 14:30:18 +0000 (26 17:30 +0300)
committermalc <moosotc@gmail.com>
Wed, 26 Aug 2015 14:30:18 +0000 (26 17:30 +0300)
tree6a972a0ee9259edb533abf1612b5b119c8ef37c2
parentfa1095d1344b094001f9693b1119738959b02732
Hack to ensure proper inherited cursor is picked up in all cases
main.ml
wsi.ml