src/FOL/intprover.ML

--- a/src/FOL/intprover.ML	Sat Aug 29 10:50:04 2009 +0200
+++ b/src/FOL/intprover.ML	Sat Aug 29 12:01:25 2009 +0200
@@ -79,8 +79,7 @@
 (*One safe or unsafe step. *)
 fun step_tac i = FIRST [safe_tac, inst_step_tac i, biresolve_tac haz_brls i];
 
-fun step_dup_tac i = FIRST [safe_tac, inst_step_tac i, 
-			    biresolve_tac haz_dup_brls i];
+fun step_dup_tac i = FIRST [safe_tac, inst_step_tac i, biresolve_tac haz_dup_brls i];
 
 (*Dumb but fast*)
 val fast_tac = SELECT_GOAL (DEPTH_SOLVE (step_tac 1));