name self-explanatory now

GillianPlatform · Dec 11, 2024 · 4e46654 · 4e46654
1 parent d548b7c
commit 4e46654
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sphinx/c2/index.rst b/sphinx/c2/index.rst
@@ -1,5 +1,5 @@
-Gillian-C2 (Alternative C Instantiation)
-========================================
+Gillian-C2
+==========
 
 .. danger::