diff --git a/plutus-metatheory/plutus-metatheory.agda-lib b/plutus-metatheory/plutus-metatheory.agda-lib
index ed00083e68d..4ebc4d9e401 100644
--- a/plutus-metatheory/plutus-metatheory.agda-lib
+++ b/plutus-metatheory/plutus-metatheory.agda-lib
@@ -1,3 +1,6 @@
 name: plutus-metatheory
 depend: standard-library-2.1.1
 include: src
+flags:
+  --warning=all
+  --warning=error