
diff -r b8f30228a55b -r ad538f6c5d2f src/HOL/Codegenerator_Test/Code_Test_Scala.thy
--- a/src/HOL/Codegenerator_Test/Code_Test_Scala.thy	Thu Dec 14 21:40:43 2017 +0100
+++ b/src/HOL/Codegenerator_Test/Code_Test_Scala.thy	Thu Dec 14 18:42:39 2017 +0100
@@ -6,8 +6,6 @@
 
 theory Code_Test_Scala imports  "HOL-Library.Code_Test" begin
 
-declare [[scala_case_insensitive]]
-
 test_code "14 + 7 * -12 = (140 div -2 :: integer)" in Scala
 
 value [Scala] "14 + 7 * -12 :: integer"




