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