# HG changeset patch
# User haftmann
# Date 1679682617 0
# Node ID e6ee7af8184c3018a907dae07a96ae6d10a79023
# Parent  4c5297aa18c8124f100caf4684669590d05986f5
tuned whitespace

diff -r 4c5297aa18c8 -r e6ee7af8184c src/Tools/Code/code_thingol.ML
--- a/src/Tools/Code/code_thingol.ML	Fri Mar 24 18:30:17 2023 +0000
+++ b/src/Tools/Code/code_thingol.ML	Fri Mar 24 18:30:17 2023 +0000
@@ -936,7 +936,7 @@
         val program2 = Code_Symbol.Graph.del_node dummy_constant program1;
         val deps_all = Code_Symbol.Graph.all_succs program2 deps';
         val program3 = Code_Symbol.Graph.restrict (member (op =) deps_all) program2;
-       in ((program3, ((vs_ty, t), deps')), (deps', program2)) end;
+      in ((program3, ((vs_ty, t), deps')), (deps', program2)) end;
   in
     ensure_stmt Constant stmt_value \<^const_name>\<open>Pure.dummy_pattern\<close>
     #> snd