# HG changeset patch
# User nipkow
# Date 955813280 -7200
# Node ID 8ffa2c825fd79036b01d07b7d71e3f7f58ca130d
# Parent  3ba75b7e116899b4da2a49b817d8fea7ad176a13
mod to error msg

diff -r 3ba75b7e1168 -r 8ffa2c825fd7 TFL/tfl.sml
--- a/TFL/tfl.sml	Sat Apr 15 15:01:31 2000 +0200
+++ b/TFL/tfl.sml	Sat Apr 15 17:41:20 2000 +0200
@@ -339,7 +339,7 @@
              of [] => ()
           | L => mk_functional_err
  ("The following clauses are redundant (covered by preceding clauses): " ^
-                   commas (map Int.toString L))
+                   commas (map Int.toString L) ^ "\n(counting from zero)")
  in {functional = Abs(Sign.base_name fname, ftype,
 		      abstract_over (atom, 
 				     absfree(aname,atype, case_tm))),