# HG changeset patch
# User wenzelm
# Date 931950346 -7200
# Node ID 19520b3d4f0d6d2593a0f226ac72bc0477b6fb98
# Parent  01a4e15ee253218ae89010a5ab1964e858abcad4
improved comment;

diff -r 01a4e15ee253 -r 19520b3d4f0d src/Provers/blast.ML
--- a/src/Provers/blast.ML	Wed Jul 14 13:05:28 1999 +0200
+++ b/src/Provers/blast.ML	Wed Jul 14 13:05:46 1999 +0200
@@ -1329,7 +1329,7 @@
 
 (** method setup **)
 
-val setup = [Method.add_methods [("blast", Data.cla_method' blast_tac, "blast")]];
+val setup = [Method.add_methods [("blast", Data.cla_method' blast_tac, "tableau prover")]];
 
 
 end;