diff --git a/CNAME b/CNAME index ee666106a2..2ee95fc0f6 100644 --- a/CNAME +++ b/CNAME @@ -1 +1 @@ -apalache.informal.systems \ No newline at end of file +apalach.informal.systems \ No newline at end of file