src/HOL/Code_Numeral.thy
changeset 67399 eab6ce8368fa
parent 67332 cb96edae56ef
child 67905 fe0f4eeceeb7
     1.1 --- a/src/HOL/Code_Numeral.thy	Wed Jan 10 15:21:49 2018 +0100
     1.2 +++ b/src/HOL/Code_Numeral.thy	Wed Jan 10 15:25:09 2018 +0100
     1.3 @@ -634,7 +634,7 @@
     1.4  setup \<open>
     1.5    fold (fn target =>
     1.6      Numeral.add_code @{const_name Code_Numeral.Pos} I Code_Printer.literal_numeral target
     1.7 -    #> Numeral.add_code @{const_name Code_Numeral.Neg} (op ~) Code_Printer.literal_numeral target)
     1.8 +    #> Numeral.add_code @{const_name Code_Numeral.Neg} (~) Code_Printer.literal_numeral target)
     1.9      ["SML", "OCaml", "Haskell", "Scala"]
    1.10  \<close>
    1.11