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 Σ
 ```