safe flags

Trebor-Huang · Trebor-Huang · commit 22af0e085f03 · 2024-09-19T22:16:54.000+08:00
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

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-{-# OPTIONS --cubical #-}`
	`1`	`+{-# OPTIONS --safe #-}`
`2`	`2`
`3`	`3`	`{-`
`4`	`4`	`The stable version of the James splitting:`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-{-# OPTIONS --cubical --lossy-unification #-}`
	`1`	`+{-# OPTIONS --safe --lossy-unification #-}`
`2`	`2`
`3`	`3`	`{-`
`4`	`4`	`The finitary Hilton–Milnor splitting`