diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
index 0df390b8a9ee..3b366df94276 100644
--- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
@@ -84,7 +84,10 @@ let
     "classical" = [ ];
     "reals" = [ "classical" ];
     "experimental-reals" = [ "reals" ];
-    "analysis" = [ "reals" ];
+    "analysis" = [
+      "reals"
+      "real-closed"
+    ];
     "reals-stdlib" = [ "reals" ];
     "analysis-stdlib" = [
       "analysis"