===================================================================
RCS file: /home/cvs/OpenXM/src/k097/lib/minimal/minimal.k,v
retrieving revision 1.24
retrieving revision 1.26
diff -u -p -r1.24 -r1.26
--- OpenXM/src/k097/lib/minimal/minimal.k	2000/08/02 03:23:36	1.24
+++ 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.23 2000/08/01 08:51:03 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),
@@ -1046,6 +1046,9 @@ def Sminimal(g,opt) {
    Print("Betti numbers of the Schreyer frame: ");
    Println(Map(ansSminimal[3],"Length"));
    Println("-----------------------------------------------");
+
+   sm1(" restoreEnvAfterResolution ");
+   Sordinary = false;
 
    return(ansSminimal);
   /* r[4] is the redundantTable_ordinary */