--- a/src/HOL/Library/SCT_Implementation.thy Mon Aug 20 18:07:31 2007 +0200
+++ b/src/HOL/Library/SCT_Implementation.thy Mon Aug 20 18:07:49 2007 +0200
@@ -190,6 +190,6 @@
Kleene_Algebras SCT
SCT_Implementation SCT
-code_gen test_SCT in SML
+export_code test_SCT in SML
end