# HG changeset patch
# User haftmann
# Date 1277105900 -7200
# Node ID 98c6f9dc58d01aaabc27e6a4dc8805f05cb99bbc
# Parent  ce943f9edf5e495c291db877a6e03c0b38cfd705
activated Scala code generator test

diff -r ce943f9edf5e -r 98c6f9dc58d0 src/HOL/ex/Codegenerator_Pretty_Test.thy
--- a/src/HOL/ex/Codegenerator_Pretty_Test.thy	Mon Jun 21 09:38:20 2010 +0200
+++ b/src/HOL/ex/Codegenerator_Pretty_Test.thy	Mon Jun 21 09:38:20 2010 +0200
@@ -10,6 +10,6 @@
 export_code * in SML module_name CodegenTest
   in OCaml module_name CodegenTest file -
   in Haskell file -
-(*in Scala file -*)
+  in Scala file -
 
 end