[acl2/acl2] d75787: Tweaked a bit of source code to eliminate a LispWo...
0 views
Skip to first unread message
GitHub
Dec 4, 2016, 2:12:53 PM12/4/16
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: d75787a13e666802d3ac7674404e53b16d99d478
https://github.com/acl2/acl2/commit/d75787a13e666802d3ac7674404e53b16d99d478
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-12-04 (Sun, 04 Dec 2016)
Changed paths:
M other-events.lisp
Log Message:
-----------
Tweaked a bit of source code to eliminate a LispWorks warning. (There is still one build warning for LispWorks; I have reported a possible compiler bug.)
Home: https://github.com/acl2/acl2
Commit: d75787a13e666802d3ac7674404e53b16d99d478
https://github.com/acl2/acl2/commit/d75787a13e666802d3ac7674404e53b16d99d478
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-12-04 (Sun, 04 Dec 2016)
Changed paths:
M other-events.lisp
Log Message:
-----------
Tweaked a bit of source code to eliminate a LispWorks warning. (There is still one build warning for LispWorks; I have reported a possible compiler bug.)
GitHub
Dec 4, 2016, 2:17:12 PM12/4/16
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages