use new cinttypes

This commit is contained in:
2025-01-23 14:30:39 +01:00
parent e7d7131a52
commit 9f6771d90a

View File

@@ -1,4 +1,4 @@
#include <inttypes.h>
#include <cinttypes>
#include <algorithm>
#include "values/mrand.hpp"