Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed whitespace
authorsmolkas
Wed, 02 Jan 2013 20:52:39 +0100
changeset 50679 e409d9f8ec75
parent 50678 027c09d7f6ec
child 50680 adbbe04b7c75
removed whitespace
src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML	Wed Jan 02 20:52:32 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML	Wed Jan 02 20:52:39 2013 +0100
@@ -747,8 +747,8 @@
                 rpair (false, (true, seconds 0.0))
               else
                 shrink_proof debug ctxt type_enc lam_trans preplay
-                    preplay_timeout
-                    (if isar_proofs then isar_shrink else 1000.0))
+                  preplay_timeout
+                  (if isar_proofs then isar_shrink else 1000.0))
        (* |>> reorder_proof_to_minimize_jumps (* ? *) *)
           |>> chain_direct_proof
           |>> kill_useless_labels_in_proof
isabelle