irrelevant
authorhaftmann
Sat, 30 Mar 2019 15:37:22 +0100
changeset 70199 3347396ffdb3
parent 70198 a8142ac5e4b6
child 70200 571909ef3103
irrelevant
src/HOL/Code_Numeral.thy
--- a/src/HOL/Code_Numeral.thy	Sat Mar 30 22:51:38 2019 +0100
+++ b/src/HOL/Code_Numeral.thy	Sat Mar 30 15:37:22 2019 +0100
@@ -766,8 +766,6 @@
 code_identifier
   code_module Code_Numeral \<rightharpoonup> (SML) Arith and (OCaml) Arith and (Haskell) Arith
 
-export_code divmod_integer in Haskell file_prefix divmod
-
 
 subsection \<open>Type of target language naturals\<close>