From 03d955056b755bf67b34f8c33f2b7365dcc10625 Mon Sep 17 00:00:00 2001 From: Ana Pantilie Date: Mon, 8 Sep 2025 20:07:21 +0300 Subject: [PATCH] Metatheory: turn on all warnings and lift to error --- plutus-metatheory/plutus-metatheory.agda-lib | 3 +++ 1 file changed, 3 insertions(+) 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