[CI] New assemblies coming from Vale

hacl-star · Jan 6, 2018 · 3b55725 · 3b55725
1 parent 33dffee
commit 3b55725
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/secure_api/vale/asm/sha256_main_i.c b/secure_api/vale/asm/sha256_main_i.c
@@ -1,3 +1,5 @@
+/* This file was auto-generated by KreMLin! */
+
 #include "sha256_main_i.h"
 
 void