# HG changeset patch
# User wenzelm
# Date 952533308 -3600
# Node ID 61307df166bca47e4a84abce69df00a7eb86764c
# Parent  14d89313c66c3fae4db525abf8b00ea342615b9e
tuned error msg: rows counted from 1;

diff -r 14d89313c66c -r 61307df166bc TFL/tfl.sml
--- 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))),