--- a/src/HOL/Lifting_Set.thy	Tue Jan 11 06:47:47 2022 +0000
+++ b/src/HOL/Lifting_Set.thy	Tue Jan 11 06:48:02 2022 +0000
@@ -5,7 +5,7 @@
 section \<open>Setup for Lifting/Transfer for the set type\<close>
 
 theory Lifting_Set
-imports Lifting
+imports Lifting Groups_Big
 begin
 
 subsection \<open>Relator and predicator properties\<close>