# HG changeset patch
# User haftmann
# Date 1263369376 -3600
# Node ID 31209fb24176500dd69f937f2a86eec51f3af0fd
# Parent  873c31d9f10d5a896f3818bebf6a2a218f8ec87d
deactivate pretty code test for Scala -- no proper setup yet

diff -r 873c31d9f10d -r 31209fb24176 src/HOL/ex/Codegenerator_Pretty_Test.thy
--- a/src/HOL/ex/Codegenerator_Pretty_Test.thy	Wed Jan 13 08:56:15 2010 +0100
+++ b/src/HOL/ex/Codegenerator_Pretty_Test.thy	Wed Jan 13 08:56:16 2010 +0100
@@ -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