-
John van Groningen authored
refactor ErrorAdmin class, change setErrorAdmin and pushErrorAdmin to setErrorPosition and pushErrorPosition with Ident and Position arguments instead of IdentPos, add function errorHeadingWithStringPos
54b93c86
refactor ErrorAdmin class, change setErrorAdmin and pushErrorAdmin to setErrorPosition and pushErrorPosition with Ident and Position arguments instead of IdentPos, add function errorHeadingWithStringPos