deactivated test for the moment
authorhaftmann
Fri Dec 22 15:35:17 2006 +0100 (2006-12-22)
changeset 2189846be40d304d7
parent 21897 d0c67d715deb
child 21899 dab16d14db60
deactivated test for the moment
src/HOL/ex/Codegenerator.thy
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Fri Dec 22 14:24:04 2006 +0100
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Fri Dec 22 15:35:17 2006 +0100
     1.3 @@ -76,6 +76,6 @@
     1.4  definition
     1.5    "shadow keywords = keywords @ [Codegenerator.keywords 0 0 0 0 0 0]"
     1.6  
     1.7 -code_gen "*" (Haskell -) (SML #)
     1.8 +(*code_gen "*" (Haskell -) (SML #)*)
     1.9  
    1.10  end
    1.11 \ No newline at end of file