[Xtla-el-dev] tla--new-error-buffer gone?

[Mark Triggs]

Hey all,

It looks like `tla--new-error-buffer' was removed in the cleanup of
xtla-core?  The `tla--run-arch' function still seems to use this--do we
really want to remove it?

Mark

-- 
Mark Triggs
<[EMAIL PROTECTED]>