# HG changeset patch
# User wenzelm
# Date 1392836851 -3600
# Node ID 8ae36527c2a6ebefecae44c3632d40b38134b439
# Parent  25d7b485df816bdc639076ab2942826140ea1739
removed dead code;

diff -r 25d7b485df81 -r 8ae36527c2a6 src/Pure/Tools/simplifier_trace.ML
--- a/src/Pure/Tools/simplifier_trace.ML	Wed Feb 19 15:57:02 2014 +0000
+++ b/src/Pure/Tools/simplifier_trace.ML	Wed Feb 19 20:07:31 2014 +0100
@@ -140,7 +140,6 @@
 fun output_result (id, data) =
   Output.result (Markup.serial_properties id) data
 
-val serialN = "serial"
 val parentN = "parent"
 val textN = "text"
 val memoryN = "memory"