Update unikernel.ml

Co-authored-by: Hannes Mehnert <hannes@mehnert.org>
robur-coop · Nov 4, 2024 · 46a61e9 · 46a61e9
1 parent 13a4318
commit 46a61e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/unikernel.ml b/unikernel.ml
@@ -1380,7 +1380,7 @@ struct
                   String.split_on_char '/'
                     (String.sub path 23 (String.length path - 23))
                 with
-                | [ single_cookie_value; form_csrf ] ->
+                | [ to_logout_cookie; form_csrf ] ->
                     authenticate ~form_csrf store reqd
                       (close_sessions ~to_logout_cookie store reqd)
                 | _ ->