Link typo in documentation

lukstafi · Jul 29, 2024 · 675e541 · 675e541
1 parent b10009f
commit 675e541
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cudajit.mli b/cudajit.mli
@@ -441,7 +441,7 @@ val module_unload : module_ -> unit
 
 val ctx_destroy : context -> unit
 (** See
-    {:https://developer.download.nvidia.com/compute/DevZone/docs/html/C/doc/html/group__CUDA__CTX_g27a365aebb0eb548166309f58a1e8b8e.html}. *)
+    {{:https://developer.download.nvidia.com/compute/DevZone/docs/html/C/doc/html/group__CUDA__CTX_g27a365aebb0eb548166309f58a1e8b8e.html}ctxDestroy}. *)
 
 (** See
     {{:https://docs.nvidia.com/cuda/cuda-driver-api/group__CUDA__TYPES.html#group__CUDA__TYPES_1g17c5d5f9b585aa2d6f121847d1a78f4c}