Remove stdlib.h include from sampling.h

mkannwischer · mkannwischer · commit 64b5f9d2bfb8 · 2025-10-19T16:06:07.000+08:00
Signed-off-by: Matthias J. Kannwischer &lt;matthias@kannwischer.eu&gt;
diff --git a/mlkem/src/sampling.h b/mlkem/src/sampling.h
@@ -16,7 +16,6 @@
 #define MLK_SAMPLING_H
 
 #include <stdint.h>
-#include <stdlib.h>
 #include "cbmc.h"
 #include "common.h"
 #include "poly.h"
