Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-04 09:38:16 -0800 (Fri, 04 Feb 2005)
Revision: 6594
Log message:

      Thread the flag for shape checking, rather than using an imperative
      variable.  This allows shape checking for sub-theories, and is less
      likely to cause problems in the future.
      

Changes	Path
+27 -26	metaprl-branches/opname_classes4/filter/base/filter_cache_fun.ml