Comment 3 for bug 1293125

Thanks for reporting this issue. This still happens with acl2 version 6.4-3 on Ubuntu Utopic. I added the tag "ftbfs" so that this bug report will show up on http://qa.ubuntuwire.com/ftbfs/.