Properly restore x in gotohist
commit8eab0d756edbd9fb0e91d2c38f32adb4606d658a
authormalc <moosotc@gmail.com>
Tue, 3 Mar 2015 15:55:54 +0000 (3 18:55 +0300)
committermalc <moosotc@gmail.com>
Tue, 3 Mar 2015 15:55:54 +0000 (3 18:55 +0300)
tree49ece46ee3fd9b419d9c38645789be3fa9e20775
parentf9d7b465d55989b728666575c6110ed2c5f71fed
Properly restore x in gotohist
main.ml