src/HOL/Library/Char_ord.thy

--- a/src/HOL/Library/Char_ord.thy	Mon Dec 18 08:21:26 2006 +0100
+++ b/src/HOL/Library/Char_ord.thy	Mon Dec 18 08:21:27 2006 +0100
@@ -96,4 +96,8 @@
 instance char :: linorder
   by default (auto simp: char_le_def)
 
+code_const char_to_int_pair
+  (SML "raise/ Fail/ \"char'_to'_int'_pair\"")
+  (Haskell "error/ \"char'_to'_int'_pair\"")
+
 end