diff --git a/nix/project.nix b/nix/project.nix
index e6ebdd4cc80..1b4da1caae5 100644
--- a/nix/project.nix
+++ b/nix/project.nix
@@ -41,7 +41,7 @@ let
       };
 
       modules = [
-        # repoRoot.nix.agda.agda-project-module-patch
+        repoRoot.nix.agda.agda-project-module-patch
 
         # Common
         {