src/HOL/Codegenerator_Test/Candidates_Pretty.thy

--- a/src/HOL/Codegenerator_Test/Candidates_Pretty.thy	Wed May 18 15:45:33 2011 +0200
+++ b/src/HOL/Codegenerator_Test/Candidates_Pretty.thy	Wed May 18 15:45:33 2011 +0200
@@ -4,7 +4,7 @@
 header {* Generating code using pretty literals and natural number literals  *}
 
 theory Candidates_Pretty
-imports Candidates Code_Char Efficient_Nat
+imports Candidates Code_Char_ord Efficient_Nat
 begin
 
 end