
diff -r 8f105e6a2b88 -r 19c1fd52d6c9 src/Tools/Code_Generator.thy
--- a/src/Tools/Code_Generator.thy	Tue Jan 05 16:55:00 2010 +0100
+++ b/src/Tools/Code_Generator.thy	Fri Jan 08 12:25:15 2010 +0100
@@ -18,6 +18,7 @@
   "~~/src/Tools/Code/code_ml.ML"
   "~~/src/Tools/Code/code_eval.ML"
   "~~/src/Tools/Code/code_haskell.ML"
+  "~~/src/Tools/Code/code_scala.ML"
   "~~/src/Tools/nbe.ML"
 begin
 
@@ -26,6 +27,7 @@
   #> Code_ML.setup
   #> Code_Eval.setup
   #> Code_Haskell.setup
+  #> Code_Scala.setup
   #> Nbe.setup
 *}
 




