Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Added some functions to the blacklist.

  • Loading branch information...
commit c0dee33f0a0b121da03db9e231feacdd094bd98b 1 parent 0253040
@calebegg authored
Showing with 1 addition and 0 deletions.
  1. +1 −0  acl2.py
View
1  acl2.py
@@ -26,6 +26,7 @@ def check_none_in_blacklist(code, top_level=True):
defun-nx make-event memoize profile redo-flat set-body unmemoize include-book
break-on-error close-trace-file open-trace-file trace! trace$ wet untrace$
install-new-raw-prompt program :program mini-proveall #. #| |# #, defmacro
+ state defmacro-fn intern intern$
'''.split()
for term in code:
if isinstance(term, list):
Please sign in to comment.
Something went wrong with that request. Please try again.