# HG changeset patch
# User haftmann
# Date 1171095976 -3600
# Node ID 757ace95c4a060d6eea2ed65326bf4be4ecca407
# Parent  c9e7c6e73de3c574503eb2e9fe04fba3d338bcf4
splut up code generation in two parts

diff -r c9e7c6e73de3 -r 757ace95c4a0 src/HOL/ex/Codegenerator.thy
--- a/src/HOL/ex/Codegenerator.thy	Sat Feb 10 09:26:15 2007 +0100
+++ b/src/HOL/ex/Codegenerator.thy	Sat Feb 10 09:26:16 2007 +0100
@@ -8,6 +8,7 @@
 imports ExecutableContent
 begin
 
-code_gen "*" (SML #) (Haskell -) (OCaml -)
+code_gen "*" (SML) (Haskell) (OCaml)
+code_gen (SML #) (Haskell -) (OCaml -)
 
 end
\ No newline at end of file