up

cicada-lang · Sep 13, 2023 · ef2b56c · ef2b56c
1 parent d6beac4
commit ef2b56c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/manual/module/import.md b/docs/manual/module/import.md
@@ -36,7 +36,7 @@ We use `Nat as NatFromURL` to rename the imported definition.
 ```cicada todo
 import {
   Nat as NatFromURL
-} from "https://cdn.cicada-solo.cic.run/docs/manual/datatypes/nat.md"
+} from "https://code-of-cicada-solo.fidb.app/docs/manual/datatypes/nat.md"
 
 compute NatFromURL.zero
 compute NatFromURL.add1(NatFromURL.zero)