Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Mon, 7 Dec 1992 14:52:52 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA03858;
          Mon, 7 Dec 92 06:37:27 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from chin.cat.syr.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA03853;
          Mon, 7 Dec 92 06:37:21 -0800
Date: Mon, 7 Dec 92 09:36:46 EST
From: chin@EDU.syr.cat (Shiu-Kai Chin)
Received: by cat.syr.edu (4.1/1.0-6/5/90) id AA15922; Mon, 7 Dec 92 09:36:46 EST
Message-Id: <9212071436.AA15922@cat.syr.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: Garbage collection problem


I'm running version 2.0 and getting the following error message
when attempting to do a print_theory on a fairly large theory file.

;;; Failed to re-enable EGC after the memory manager disabled it for memory

;;; reorganization:
;;;  EGC could not be enabled because the dynamic GC is disabled.
error -- 
evaluation failed     lisp error

I'd appreciate it if someone would tell me how to fix the problem.

Thanks,

Shiu-Kai Chin
chin@cat.syr.edu