python
diff --git a/‎Modules/_hacl/lib_memzero0.h
Lines changed: 1 addition & 0 deletions b/‎Modules/_hacl/lib_memzero0.h
Lines changed: 1 addition & 0 deletions
@@ -1,4 +1,5 @@
 #include <inttypes.h>
+#include "python_hacl_namespaces.h"
 
 void Lib_Memzero0_memzero0(void *dst, uint64_t len);
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#include <inttypes.h>`
	`2`	`+#include "python_hacl_namespaces.h"`
`2`	`3`
`3`	`4`	`void Lib_Memzero0_memzero0(void *dst, uint64_t len);`
`4`	`5`