diff -r 57e7d045774a -r 64e850c3da9e src/Provers/blast.ML
--- a/src/Provers/blast.ML	Sat May 17 23:53:19 2008 +0200
+++ b/src/Provers/blast.ML	Sat May 17 23:53:20 2008 +0200
@@ -587,7 +587,7 @@
 val dummyTVar = Term.TVar(("a",0), []);
 val dummyVar2 = Term.Var(("var",0), dummyT);
 
-(*convert Blast_tac's type representation to real types for tracing*)
+(*convert blast_tac's type representation to real types for tracing*)
 fun showType (Free a)  = Term.TFree (a,[])
   | showType (Var _)   = dummyTVar
   | showType t         =