diff --git a/.gitmodules b/.gitmodules
index 6c8f746..b58a915 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,3 @@
-[submodule "lib/alice"]
-	path = lib/alice
-	url = https://github.com/msoeken/alice.git
 [submodule "lib/mockturtle"]
 	path = lib/mockturtle
 	url = https://github.com/panhomyoung/mockturtle.git