From 8291fa7b47c6f9e0789919d0dd2d15b11399e925 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Wed, 4 Dec 2024 11:45:47 +0100
Subject: [PATCH] dev-no-check

---
 app/GlobalOptions.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/app/GlobalOptions.hs b/app/GlobalOptions.hs
index 56426db6da..23fa62c0f9 100644
--- a/app/GlobalOptions.hs
+++ b/app/GlobalOptions.hs
@@ -133,11 +133,6 @@ parseGlobalFlags = do
       ( long "no-stdlib"
           <> help "Do not use the standard library"
       )
-  _globalNoCheck <-
-    switch
-      ( long "no-check"
-          <> help "Disable input sanity check in Core"
-      )
   _globalFieldSize <-
     option
       fieldSizeOpt
@@ -169,6 +164,11 @@ parseGlobalFlags = do
                 <> intercalate " < " [show l | l <- allElements @LogLevel]
             )
       )
+  _globalNoCheck <-
+    switch
+      ( long "dev-no-check"
+          <> help "[DEV] Disable input sanity check in Core"
+      )
   _globalShowNameIds <-
     switch
       ( long "show-name-ids"