--- a/src/HOL/Codegenerator_Test/Code_Test_GHC.thy Sat Jan 04 14:25:56 2025 +0100
+++ b/src/HOL/Codegenerator_Test/Code_Test_GHC.thy Sat Jan 04 14:41:30 2025 +0100
@@ -5,6 +5,7 @@
theory Code_Test_GHC
imports
+ "HOL-Library.Code_Target_Bit_Shifts"
"HOL-Library.Code_Test"
Code_Lazy_Test
begin