Update Modules/_hacl/Hacl_Streaming_HMAC.c

ashm-dev · StanFromIreland · web-flow · commit 715d76c163a9 · 2025-10-14T19:15:02.000+03:00
Co-authored-by: Stan Ulbrych &lt;89152624+StanFromIreland@users.noreply.github.com&gt;
diff --git a/Modules/_hacl/Hacl_Streaming_HMAC.c b/Modules/_hacl/Hacl_Streaming_HMAC.c
@@ -2521,3 +2521,4 @@ Hacl_Streaming_HMAC_agile_state
     "unreachable (pattern matches are exhaustive in F*)");
   KRML_HOST_EXIT(255U);
 }
+

Original file line number	Diff line number	Diff line change
`@@ -2521,3 +2521,4 @@ Hacl_Streaming_HMAC_agile_state`
`2521`	`2521`	`"unreachable (pattern matches are exhaustive in F*)");`
`2522`	`2522`	`KRML_HOST_EXIT(255U);`
`2523`	`2523`	`}`
	`2524`	`+`