[warn] Remove unused open

flake.lock

@@ -11,11 +11,11 @@
       "locked": {
         "lastModified": 1,
         "narHash": "sha256-/UVOUsDr/tqXgJ0lzS4jfpMR36E19IUtb3+yJvGCS3s=",
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/abcrown",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/abcrown",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/abcrown",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/abcrown",
         "type": "path"
       }
     },
@@ -24,11 +24,11 @@
       "locked": {
         "lastModified": 1,
         "narHash": "sha256-FgO4U0EDYd0ynnZDpEVO2yzMIO7y8/e6S+WBzypz/Z0=",
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/VERSION",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/VERSION",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/VERSION",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/VERSION",
         "type": "path"
       }
     },
@@ -150,11 +150,11 @@
       "locked": {
         "lastModified": 1,
         "narHash": "sha256-V7BK+6EXtF0DjfYJZqIg1wS2khculp4riRVqM/+MHGE=",
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/marabou",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/marabou",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/marabou",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/marabou",
         "type": "path"
       }
     },
@@ -244,11 +244,11 @@
       "locked": {
         "lastModified": 1,
         "narHash": "sha256-2cKWbmrFOGsX6nY0xyeTtU7oG61zWXTv313xSayNd18=",
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/nnenum",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/nnenum",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/nnenum",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/nnenum",
         "type": "path"
       }
     },
@@ -263,11 +263,11 @@
       "locked": {
         "lastModified": 1,
         "narHash": "sha256-POrh9c/ov+89Py2tO0Qp53PZ4So/9AcrMsHKGevXrdU=",
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/pyrat_compiled",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/pyrat_compiled",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/pyrat_compiled",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/pyrat_compiled",
         "type": "path"
       }
     },
@@ -294,11 +294,11 @@
       "locked": {
         "lastModified": 1,
         "narHash": "sha256-2KmAnZFkmfOAvp40iktsRB9H6Mo6Jv0dZveWHIeBRrA=",
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/saver",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/saver",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/0aw73v7ffglvpvlnrckqjfp48qy7m736-source/vendor/saver",
+        "path": "/nix/store/7cgkla26si6az5mca17dwrr239zw2d9j-source/vendor/saver",
         "type": "path"
       }
     },

src/verification.ml

@@ -404,7 +404,6 @@ let call_prover ~cwd ~limit config env prover config_prover driver ?dataset
   problem_answer
 
 let open_file ?format env file =
-  let open Verification_types in
   match file with
   | Verification_types.File.Stdin ->
     ( Unix.getcwd (),