Branch: refs/heads/master
Home:
https://github.com/acl2/acl2
Commit: ca69ec1aa3da87d1d23fc87d38e7121491118ac9
https://github.com/acl2/acl2/commit/ca69ec1aa3da87d1d23fc87d38e7121491118ac9
Author: Matt Kaufmann <
kauf...@cs.utexas.edu>
Date: 2017-08-07 (Mon, 07 Aug 2017)
Changed paths:
M books/projects/apply-model/Makefile
M translate.lisp
Log Message:
-----------
Fixed a typo in an error message from translation (source function translate11), found by Alessandro Coglio. Also properly aligned some strings in that function. Tweaked books/projects/apply-model/Makefile after a failure (but not sure it fully solves the problem; see comments there).