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"