typo

agda · Sep 10, 2024 · c64a870 · c64a870
1 parent 92b1ef4
commit c64a870
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cubical/Homotopy/Group/Join.agda b/Cubical/Homotopy/Group/Join.agda
@@ -1,4 +1,4 @@
-x{-# OPTIONS --safe --lossy-unification #-}
+{-# OPTIONS --safe --lossy-unification #-}
 {-
 This file contains definition of homotopy groups in terms of joins:
 π*ₙₘ(A) := ∥ Sⁿ * Sᵐ →∙ A ∥₀