fixes #1098

math-comp · Nov 17, 2023 · b0f60a0 · b0f60a0
1 parent f87a1d2
commit b0f60a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/theories/Make b/theories/Make
@@ -13,6 +13,7 @@ reals.v
 landau.v
 Rstruct.v
 topology.v
+cantor.v
 prodnormedzmodule.v
 normedtype.v
 realfun.v