errormsg: remove errorText
authorClinton Ebadi <clinton@unknownlamer.org>
Fri, 4 Jan 2019 04:03:04 +0000 (23:03 -0500)
committerClinton Ebadi <clinton@unknownlamer.org>
Fri, 4 Jan 2019 04:03:04 +0000 (23:03 -0500)
commit7dbe2779d37da17210a94468cef25f10ae6837fc
tree022c4e927bfc6e30285bd4d3bb22a39033bcbbc5
parent4648ee8ad333857882bddff03099bf870d42e19a
errormsg: remove errorText

This was never used, and makes `print' allocate memory for no good
reason.
src/errormsg.sig
src/errormsg.sml