===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2018/engine/nd.c,v
retrieving revision 1.35
retrieving revision 1.37
diff -u -p -r1.35 -r1.37
--- OpenXM_contrib2/asir2018/engine/nd.c	2020/08/26 06:40:36	1.35
+++ OpenXM_contrib2/asir2018/engine/nd.c	2020/10/06 06:31:19	1.37
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.34 2020/07/10 08:09:05 noro Exp $ */
+/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.36 2020/09/27 04:35:04 noro Exp $ */
 
 #include "nd.h"
 
@@ -2481,12 +2481,14 @@ get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2);
      }
      if ( DP_Print ) { printf("."); fflush(stdout); }
        FREENDP(l);
-   }
- }
- conv_ilist(nd_demand,0,g,indp);
-    if ( !checkonly && DP_Print ) { printf("nd_gb done. Number of nd_add=%d\n",Nnd_add); fflush(stdout); }
-print_eg("update",&eg_update);
-    return g;
+     }
+  }
+  conv_ilist(nd_demand,0,g,indp);
+  if ( !checkonly && DP_Print ) { printf("nd_gb done. Number of nd_add=%d\n",Nnd_add); fflush(stdout); }
+ 
+  if ( DP_Print )
+    print_eg("update",&eg_update);
+  return g;
 }
 
 ND_pairs update_pairs_s(ND_pairs d,int t,NODE *syz);
@@ -10975,8 +10977,9 @@ again2:
       if ( bucket->m < 0 ) continue;
       col = nd_symbolic_preproc_s(bucket,0,&s0vect,&rp0);
       if ( !col ) {
-        for ( t = l; NEXT(t); t = NEXT(t) );
-          NEXT(t) = d; d = l;
+        for ( t = l; NEXT(t); t = NEXT(t) )
+          ;
+        NEXT(t) = d; d = l;
         d = nd_reconstruct(0,d);
         goto again2;
       }