do-not-pre-allocate-contiguous-blocks-in-acl2.lisp

Gbp-Pq: Name do-not-pre-allocate-contiguous-blocks-in-acl2.lisp

1 files changed, 4 insertions, 4 deletions

diff --git a/acl2.lisp b/acl2.lisp
index 1e35d20..bea59b0 100644
--- a/acl2.lisp
+++ b/acl2.lisp
@@ -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