diff -r 23a8c5ac35f8 -r 69916a850301 src/Sequents/modal.ML
--- a/src/Sequents/modal.ML	Sat Oct 17 01:05:59 2009 +0200
+++ b/src/Sequents/modal.ML	Sat Oct 17 14:43:18 2009 +0200
@@ -86,7 +86,7 @@
 fun step_tac n = 
     COND (has_fewer_prems 1) all_tac 
          (DETERM(fres_safe_tac n) ORELSE 
-	  (fres_unsafe_tac n APPEND fres_bound_tac n));
+          (fres_unsafe_tac n APPEND fres_bound_tac n));
 
 end;
 end;