Add all-calls to *acl2-exports-exclusions*.

acl2 · Jul 23, 2016 · bed2bb1 · bed2bb1
1 parent 2c73e2f
commit bed2bb1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/books/misc/check-acl2-exports.lisp b/books/misc/check-acl2-exports.lisp
@@ -104,6 +104,7 @@
     WATERFALL
 ; Some of the following might be added to *acl2-exports*, but perhaps not; they
 ; come from defpointers to system-utilities.
+    ALL-CALLS
     BODY
     CONJOIN
     CONS-COUNT-BOUNDED