diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index d94de37ce..63bd6e55b 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -1383,7 +1383,9 @@ let translate : string -> Llair.t =
       Llvm_linker.linker_dispose link_ctx ;
       llmodule
   in
-  Llvm_analysis.verify_module llmodule |> Option.iter ~f:invalid_llvm ;
+  assert (
+    Llvm_analysis.verify_module llmodule |> Option.for_all ~f:invalid_llvm
+  ) ;
   transform ~gdce:(not single_bc_input) llmodule ;
   scan_locs llmodule ;
   scan_names llmodule ;