Remove obsolete --allow-unsolved-metas flag

VariantSync · Aug 28, 2024 · 428cbcd · 428cbcd
1 parent 8af34b0
commit 428cbcd
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Vatras/Test/Experiments/FST-Experiments.agda b/src/Vatras/Test/Experiments/FST-Experiments.agda
@@ -1,5 +1,3 @@
-{-# OPTIONS --allow-unsolved-metas #-}
-
 open import Vatras.Framework.Definitions
 module Vatras.Test.Experiments.FST-Experiments where