From 12971450e3856a38733770e685bb3b5224ab181a Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Thu, 8 Aug 2024 13:28:25 -0700
Subject: [PATCH] Add guardedness to Main directly

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 Main.agda | 1 +
 1 file changed, 1 insertion(+)

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