src/HOL/Tools/Nitpick/nitpick_model.ML
changeset 66020 a31760eee09d
parent 62752 d09d71223e7a
child 69593 3dda49e08b9d
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Mon Jun 05 23:55:58 2017 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Tue Jun 06 13:13:25 2017 +0200
     1.3 @@ -69,7 +69,7 @@
     1.4    fun merge data = AList.merge (op =) (K true) data
     1.5  )
     1.6  
     1.7 -fun xsym s s' () = if print_mode_active Symbol.xsymbolsN then s else s'
     1.8 +fun xsym s s' () = if not (print_mode_active Print_Mode.ASCII) then s else s'
     1.9  
    1.10  val irrelevant = "_"
    1.11  val unknown = "?"