Merge pull request #489 from Reijix/addoptions

JacquesCarette · web-flow · commit 30860968219d · 2025-11-16T11:33:06.000-05:00
add missing options pragma
diff --git a/src/Categories/Object/NaturalNumbers/Parametrized/Properties/F-Algebras.agda b/src/Categories/Object/NaturalNumbers/Parametrized/Properties/F-Algebras.agda
@@ -1,3 +1,5 @@
+{-# OPTIONS --without-K --safe #-}
+
 open import Level
 open import Categories.Category.Core
 open import Categories.Object.Terminal using (Terminal)

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+{-# OPTIONS --without-K --safe #-}`
	`2`	`+`
`1`	`3`	`open import Level`
`2`	`4`	`open import Categories.Category.Core`
`3`	`5`	`open import Categories.Object.Terminal using (Terminal)`