# HG changeset patch
# User haftmann
# Date 1166798117 -3600
# Node ID 46be40d304d7ab5bb28578a60d42e2a5929bf889
# Parent  d0c67d715deb784e5ea93e0be0f99db09aed1a5f
deactivated test for the moment

diff -r d0c67d715deb -r 46be40d304d7 src/HOL/ex/Codegenerator.thy
--- a/src/HOL/ex/Codegenerator.thy	Fri Dec 22 14:24:04 2006 +0100
+++ b/src/HOL/ex/Codegenerator.thy	Fri Dec 22 15:35:17 2006 +0100
@@ -76,6 +76,6 @@
 definition
   "shadow keywords = keywords @ [Codegenerator.keywords 0 0 0 0 0 0]"
 
-code_gen "*" (Haskell -) (SML #)
+(*code_gen "*" (Haskell -) (SML #)*)
 
 end
\ No newline at end of file