diff options
-rw-r--r-- | acl2.lisp | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -538,10 +538,10 @@ ; Camm Maguire has suggested, on 9/22/2013, the following forms, which allowed ; him to complete an ACL2 regresssion using 2.6.10pre. -#+gcl -(progn - (si::allocate 'contiguous 15000 t) - (si::allocate-sgc 'contiguous 15000 100000 10)) +;; #+gcl +;; (progn +;; (si::allocate 'contiguous 15000 t) +;; (si::allocate-sgc 'contiguous 15000 100000 10)) ; The following avoids errors from extra right parentheses, but we leave it ; commented out since it doesn't seem important enough to merit messing around |