=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/testing/noro/ndbf.rr,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- OpenXM/src/asir-contrib/testing/noro/ndbf.rr 2009/10/25 12:46:48 1.7 +++ OpenXM/src/asir-contrib/testing/noro/ndbf.rr 2009/10/27 02:53:31 1.8 @@ -29,6 +29,7 @@ localf weyl_nf_quo, weyl_nf_mod, b_subst, v_factorial, localf replace_vars_f, replace_vars_v, replace_var$ localf action_on_gfs, action_on_gfs_1$ localf nd_gb_candidate$ +localf in_gb_oaku$ /* stratification */