Tiny lifetime fix

lukstafi · Jul 20, 2024 · ac47d6f · ac47d6f
1 parent 7e53bcc
commit ac47d6f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cudajit.ml b/cudajit.ml
@@ -1411,8 +1411,8 @@ let stream_create ?(non_blocking = false) ?(lower_priority = 0) () =
   { args_lifetimes = []; stream = !@stream }
 
 let stream_destroy stream =
-  stream.args_lifetimes <- [];
-  check "cu_stream_destroy" @@ Cuda.cu_stream_destroy stream.stream
+  check "cu_stream_destroy" @@ Cuda.cu_stream_destroy stream.stream;
+  stream.args_lifetimes <- []
 
 let stream_get_context stream =
   let open Ctypes in