# HG changeset patch
# User wenzelm
# Date 1623492979 -7200
# Node ID 93228ff7aa67679d72f197875bb2e29378c33a12
# Parent  4eac16052a944660cdceaa75bdc320318d4abf73
tuned whitespace;

diff -r 4eac16052a94 -r 93228ff7aa67 src/HOL/Tools/Mirabelle/mirabelle.ML
--- a/src/HOL/Tools/Mirabelle/mirabelle.ML	Fri Jun 11 09:33:43 2021 +0200
+++ b/src/HOL/Tools/Mirabelle/mirabelle.ML	Sat Jun 12 12:16:19 2021 +0200
@@ -215,7 +215,7 @@
 
           (* finalize actions *)
           List.app (uncurry finalize_action) contexts
-          end
+        end
     end);