diff --git a/Main.agda b/Main.agda
index 8675cbd..b7dbdb1 100644
--- a/Main.agda
+++ b/Main.agda
@@ -1,3 +1,4 @@
+{-# OPTIONS --guardedness #-}
 module Main where
 
 open import Language