fix typo in "nitpick_choice_spec" attribute name (singular, not plural)
authorblanchet
Wed Mar 17 12:01:01 2010 +0100 (2010-03-17)
changeset 35808df56c1b1680f
parent 35807 e4d1b5cbd429
child 35809 1ed86128316c
fix typo in "nitpick_choice_spec" attribute name (singular, not plural)
src/HOL/HOL.thy
     1.1 --- a/src/HOL/HOL.thy	Wed Mar 17 09:14:43 2010 +0100
     1.2 +++ b/src/HOL/HOL.thy	Wed Mar 17 12:01:01 2010 +0100
     1.3 @@ -2022,7 +2022,7 @@
     1.4  )
     1.5  structure Nitpick_Choice_Specs = Named_Thms
     1.6  (
     1.7 -  val name = "nitpick_choice_specs"
     1.8 +  val name = "nitpick_choice_spec"
     1.9    val description = "choice specification of constants as needed by Nitpick"
    1.10  )
    1.11  *}