diff --git a/src/Vatras/Test/Experiments/FST-Experiments.agda b/src/Vatras/Test/Experiments/FST-Experiments.agda
index 6ac1efd9..850e8426 100644
--- 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