From 3e6419e3d9f346510714156bf4268ae9dd15215d Mon Sep 17 00:00:00 2001 From: Camm Maguire Date: Thu, 8 Jun 2017 18:34:51 -0400 Subject: do-not-pre-allocate-contiguous-blocks-in-acl2.lisp Gbp-Pq: Name do-not-pre-allocate-contiguous-blocks-in-acl2.lisp --- acl2.lisp | 8 ++++---- 1 file 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 -- cgit v1.2.3