save-flags added

agda · Nov 12, 2024 · 8382e93 · 8382e93
1 parent 7101c37
commit 8382e93
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/Cubical/Algebra/Determinat/Adjugate.agda b/Cubical/Algebra/Determinat/Adjugate.agda
@@ -1,4 +1,5 @@
 {-# OPTIONS --cubical #-}
+{-# OPTIONS --safe #-}
 
 module Cubical.Algebra.Determinat.Adjugate where
 

diff --git a/Cubical/Algebra/Determinat/Base.agda b/Cubical/Algebra/Determinat/Base.agda
@@ -1,4 +1,5 @@
 {-# OPTIONS --cubical #-}
+{-# OPTIONS --safe #-}
 
 module Cubical.Algebra.Determinat.Base where
 

diff --git a/Cubical/Algebra/Determinat/Minor.agda b/Cubical/Algebra/Determinat/Minor.agda
@@ -1,4 +1,5 @@
 {-# OPTIONS --cubical #-}
+{-# OPTIONS --safe #-}
 
 module Cubical.Algebra.Determinat.Minor where
 

diff --git a/Cubical/Algebra/Determinat/RingSum.agda b/Cubical/Algebra/Determinat/RingSum.agda
@@ -1,4 +1,5 @@
 {-# OPTIONS --cubical #-}
+{-# OPTIONS --safe #-}
 
 module Cubical.Algebra.Determinat.RingSum where