Closed lwrubel closed 8 years ago
I was able to trigger the error. I used the search that I saved on the Wiki page listed in the issue. Then I navigated forward one page at a time. On the seventh page, http://gwdev-stgmike.wrlc.org/search?q=Frege+and+second+order+logic&page=7 I got the error. Testing this branch, I did not get any error.
Fixes #1133.
I haven't been able to get the error to occur in my dev instance, not sure why. Have you been able to get it to work in yours? So I haven't been able to tell if this definitely corrects the errors, but at least it passes tests and should not break anything as far as I can tell.