# HG changeset patch
# User haftmann
# Date 1388782320 -3600
# Node ID cb077b02c9a43a718e9daa1b52d9c95497927a81
# Parent  a5a2598f0651ed74c4f289ace3566a861450aa44
spelling

diff -r a5a2598f0651 -r cb077b02c9a4 src/Tools/Code/code_simp.ML
--- a/src/Tools/Code/code_simp.ML	Fri Jan 03 14:38:13 2014 +0100
+++ b/src/Tools/Code/code_simp.ML	Fri Jan 03 21:52:00 2014 +0100
@@ -34,7 +34,7 @@
 fun simpset_default thy = the_default (Simpset.get thy);
 
 
-(* diagonstic *)
+(* diagnostic *)
 
 val trace = Attrib.setup_config_bool @{binding "code_simp_trace"} (K false);