# HG changeset patch
# User haftmann
# Date 1553956642 -3600
# Node ID 3347396ffdb36f79a937375bb08d1aa0e6c6e769
# Parent  a8142ac5e4b6c3cc0e7b26f292f4b4aee9f57aaa
irrelevant

diff -r a8142ac5e4b6 -r 3347396ffdb3 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>