# HG changeset patch
# User paulson
# Date 904637427 -7200
# Node ID 7a43b484f6d2e59adf446b862259a6118eb7e204
# Parent  5ed7547a7f742c639f0b93de33e0b91f7b25c796
fixed error msg

diff -r 5ed7547a7f74 -r 7a43b484f6d2 src/Provers/blast.ML
--- a/src/Provers/blast.ML	Tue Sep 01 10:10:11 1998 +0200
+++ b/src/Provers/blast.ML	Tue Sep 01 10:10:27 1998 +0200
@@ -1196,7 +1196,7 @@
 				Var (hdvar(!alistVar)))
 		     | Some(v,is) => if is=bounds ts then Var v
 			    else raise TRANS
-				("Discrepancy among occurrences of ?"
+				("Discrepancy among occurrences of "
 				 ^ Syntax.string_of_vname ix))
 	    | Term.Abs (a,_,body) => 
 		  if null ts then Abs(a, from (lev+1) body)