[acl2/acl2] cbd9cf: Suppress output from er-soft-logic and er-soft+ wh...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: cbd9cf1efbdcbfddaf833c0cda949c63981d8f7a
https://github.com/acl2/acl2/commit/cbd9cf1efbdcbfddaf833c0cda949c63981d8f7a
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-06-23 (Fri, 23 Jun 2017)

Changed paths:
M books/kestrel/utilities/copy-def.lisp
M books/tools/er-soft-logic.lisp

Log Message:
-----------
Suppress output from er-soft-logic and er-soft+ when error output is suppressed.

[GitHub]

Branch: refs/heads/testing