src/Pure/Concurrent/single_assignment.ML
changeset 67009 b68592732783
parent 64276 622f4e4ac388
child 68589 9258f16d68b4
     1.1 --- a/src/Pure/Concurrent/single_assignment.ML	Sat Nov 04 21:06:02 2017 +0100
     1.2 +++ b/src/Pure/Concurrent/single_assignment.ML	Sun Nov 05 12:13:27 2017 +0100
     1.3 @@ -54,4 +54,3 @@
     1.4  end;
     1.5  
     1.6  end;
     1.7 -