Line numbers sorted lexicographically instead of numerically.

gauravmm / Navelgazer

Linter for first-order logic

http://navelgazer.gauravmanek.com/

MIT License

0 stars 1 forks source link

Line numbers sorted lexicographically instead of numerically. #13

Open david-boles opened 4 years ago

david-boles commented 4 years ago

For example, the last line of this:

    [1]  (1) a               P
    [2]  (2) a               P
    [3]  (3) a               P
    [4]  (4) a               P
    [5]  (5) a               P
    [6]  (6) a               P
    [7]  (7) a               P
    [8]  (8) a               P
    [9]  (9) a               P
   [10] (10) b               P
[9][10] (11) (a ∧ b) (9)(10) TF

gets normalized to:

[10][9] (11) (a ∧ b) (10)(9) TF

gauravmm commented 4 years ago

Thanks for the bug report! Would you be interested in taking a crack at a pull request, or would you like me to fix it?