add missing options pragma

Reijix · Reijix · commit 1a7550acf04a · 2025-10-03T01:21:13.000+02:00
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)`