From 87d79134f0c43098657ab01f16d2cd8f41ab5338 Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Thu, 26 May 2022 23:58:28 -0500
Subject: [PATCH] WIP

---
 prototyping/Properties/DecSubtyping.agda | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prototyping/Properties/DecSubtyping.agda b/prototyping/Properties/DecSubtyping.agda
index 9890bcc0..8dc7a446 100644
--- a/prototyping/Properties/DecSubtyping.agda
+++ b/prototyping/Properties/DecSubtyping.agda
@@ -1,5 +1,4 @@
 {-# OPTIONS --rewriting #-}
-{-# OPTIONS --allow-unsolved-metas #-}
 
 module Properties.DecSubtyping where