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>