src/HOL/Codegenerator_Test/Code_Test_Scala.thy

--- a/src/HOL/Codegenerator_Test/Code_Test_Scala.thy	Sat Jan 04 14:25:56 2025 +0100
+++ b/src/HOL/Codegenerator_Test/Code_Test_Scala.thy	Sat Jan 04 14:41:30 2025 +0100
@@ -3,7 +3,9 @@
     Author:     Florian Haftmann, TU Muenchen
 *)
 
-theory Code_Test_Scala imports
+theory Code_Test_Scala
+imports
+  "HOL-Library.Code_Target_Bit_Shifts"
   "HOL-Library.Code_Test"
   Code_Lazy_Test
 begin