Undoing quickly can cause assertion to fail
Error detected while processing function CoqModify[1]..remote#define#request:
line 2:
error caught in request handler '/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop:function:CoqModify [[]]':
Traceback (most recent call last):
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 99, in modify
self.diditdieyet()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 46, in diditdieyet
raise actionner.exception
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 527, in run
self.check_modification()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 428, in check_modification
self.cursor()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 466, in cursor
self.undo([steps])
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 447, in undo
self.ct.rewind(steps)
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 229, in rewind
assert self.messenger.is_empty()