diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index 7d68d08e2..852d115d9 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -1391,7 +1391,6 @@ let translate : string -> Llair.t =
   Hashtbl.clear memo_value ;
   Hash_set.clear ignored_callees ;
   Llvm.dispose_module llmodule ;
-  Llvm.dispose_context llcontext ;
   Llair.mk ~globals ~functions
   |>
   [%Trace.retn fun {pf} _ -> pf ""]