[acl2/acl2] d6951a: Made some fixes for ACL2(p).

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: d6951a8de683741cb3ec750ae89df82f6fb6a8d1
https://github.com/acl2/acl2/commit/d6951a8de683741cb3ec750ae89df82f6fb6a8d1
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-12-04 (Sun, 04 Dec 2016)

Changed paths:
M books/acl2s/cgen/cgen-rules.lisp
M books/centaur/sv/vl/trunc.lisp
M books/centaur/vl/mlib/scopestack.lisp

Log Message:
-----------
Made some fixes for ACL2(p).

[GitHub]

Branch: refs/heads/testing