[acl2/acl2] 27d358: Fix some warnings from the byte compiler reported ...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 27d3580139111ca7cea285d87c9b659c1fa57f76
https://github.com/acl2/acl2/commit/27d3580139111ca7cea285d87c9b659c1fa57f76
Author: Matt Kaufmann <kauf...@Matts-MBP.attlocal.net>
Date: 2016-08-24 (Wed, 24 Aug 2016)

Changed paths:
M emacs/acl2-doc.el
M emacs/emacs-acl2.el
M emacs/monitor.el

Log Message:
-----------
Fix some warnings from the byte compiler reported by Warren Hunt.

[GitHub]

Branch: refs/heads/testing