src/HOL/Codegenerator_Test/Generate_Pretty.thy
changeset 40711 81bc73585eec
parent 37825 adc1143bc1a8
child 42842 6ef538f6a8ab
     1.1 --- a/src/HOL/Codegenerator_Test/Generate_Pretty.thy	Fri Nov 26 12:03:17 2010 +0100
     1.2 +++ b/src/HOL/Codegenerator_Test/Generate_Pretty.thy	Fri Nov 26 12:03:18 2010 +0100
     1.3 @@ -19,6 +19,6 @@
     1.4    by a corresponding @{text export_code} command.
     1.5  *}
     1.6  
     1.7 -export_code "*" checking SML OCaml? Haskell? Scala?
     1.8 +export_code _ checking SML OCaml? Haskell? Scala?
     1.9  
    1.10  end