safe flags

agda · Sep 19, 2024 · 22af0e0 · 22af0e0
1 parent 54a2b1f
commit 22af0e0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Cubical/HITs/James/Stable.agda b/Cubical/HITs/James/Stable.agda
@@ -1,4 +1,4 @@
-{-# OPTIONS --cubical #-}
+{-# OPTIONS --safe #-}
 
 {-
   The stable version of the James splitting:

diff --git a/Cubical/Homotopy/HiltonMilnor.agda b/Cubical/Homotopy/HiltonMilnor.agda
@@ -1,4 +1,4 @@
-{-# OPTIONS --cubical --lossy-unification #-}
+{-# OPTIONS --safe --lossy-unification #-}
 
 {-
   The finitary Hilton–Milnor splitting