===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal.k,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -p -r1.25 -r1.26
--- OpenXM/src/k097/lib/minimal/minimal.k	2000/08/02 05:14:31	1.25
+++ OpenXM/src/k097/lib/minimal/minimal.k	2000/08/10 02:59:08	1.26
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.24 2000/08/02 03:23:36 takayama Exp $ */
+/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.25 2000/08/02 05:14:31 takayama Exp $ */
 #define DEBUG 1 
 Sordinary = false;
 /* If you run this program on openxm version 1.1.2 (FreeBSD),
@@ -1048,6 +1048,7 @@ def Sminimal(g,opt) {
    Println("-----------------------------------------------");
 
    sm1(" restoreEnvAfterResolution ");
+   Sordinary = false;
 
    return(ansSminimal);
   /* r[4] is the redundantTable_ordinary */