From 9318880a9a0629d88a7372f0cd4b16a5f20e8f6e Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Sat, 29 Jun 2024 14:53:45 -0500
Subject: [PATCH] Remove allow unused metas

---
 src/content/posts/2024-06-28-boolean-equivalences.lagda.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/content/posts/2024-06-28-boolean-equivalences.lagda.md b/src/content/posts/2024-06-28-boolean-equivalences.lagda.md
index 5543792..9d18995 100644
--- a/src/content/posts/2024-06-28-boolean-equivalences.lagda.md
+++ b/src/content/posts/2024-06-28-boolean-equivalences.lagda.md
@@ -24,7 +24,6 @@ $$
 <small>The following line imports some of the definitions used in this post.</small>
 
 ```
-{-# OPTIONS --allow-unsolved-metas #-}
 open import Prelude
 open Σ
 ```