spelling
authorhaftmann
Fri Jan 03 21:52:00 2014 +0100 (2014-01-03 ago)
changeset 54928cb077b02c9a4
parent 54927 a5a2598f0651
child 54929 f1ded3cea58d
spelling
src/Tools/Code/code_simp.ML
     1.1 --- a/src/Tools/Code/code_simp.ML	Fri Jan 03 14:38:13 2014 +0100
     1.2 +++ b/src/Tools/Code/code_simp.ML	Fri Jan 03 21:52:00 2014 +0100
     1.3 @@ -34,7 +34,7 @@
     1.4  fun simpset_default thy = the_default (Simpset.get thy);
     1.5  
     1.6  
     1.7 -(* diagonstic *)
     1.8 +(* diagnostic *)
     1.9  
    1.10  val trace = Attrib.setup_config_bool @{binding "code_simp_trace"} (K false);
    1.11