tuned error msg: rows counted from 1;

--- a/TFL/tfl.sml	Wed Mar 08 16:24:46 2000 +0100
+++ b/TFL/tfl.sml	Wed Mar 08 17:35:08 2000 +0100
@@ -337,8 +337,8 @@
      val originals = map (row_of_pat o #2) rows
      val dummy = case (originals\\finals)
              of [] => ()
-          | L => mk_functional_err("The following rows (counting from zero)\
-                                   \ are inaccessible: "^stringize L)
+          | L => mk_functional_err ("The following rows are inaccessible: " ^
+                   stringize (map (fn i => i + 1) L))
  in {functional = Abs(Sign.base_name fname, ftype,
 		      abstract_over (atom, 
 				     absfree(aname,atype, case_tm))),