diff options
author | Thanabodee Charoenpiriyakij | 2021-11-25 02:02:51 +0000 |
---|---|---|
committer | GitHub | 2021-11-25 02:02:51 +0000 |
commit | e8f800a141af11b4f2f4c838cd4fd1f8aa7fa971 (patch) | |
tree | ce07929a5418a5a34e7f2d0ed20a7936f8751a30 /runtime/queries/latex | |
parent | 95f392b18db27117b26c4be732a4298353bdc27e (diff) |
Do not crash when run goto command without line number (#1160)
* Do not crash when run goto command without line number
Report an error when running goto command without entering a
line number.
Fixes #1159
* Use is_empty() instead check len zero
Diffstat (limited to 'runtime/queries/latex')
0 files changed, 0 insertions, 0 deletions