math/cadical/files/patch-src_random.cpp


1
2
3
4
5
6
7
8
9
10

--- src/random.cpp.orig	2023-01-03 21:27:48 UTC
+++ src/random.cpp
@@ -1,5 +1,7 @@
 #include "internal.hpp"
 
+#include <netinet/in.h>
+
 /*------------------------------------------------------------------------*/
 
 // Our random number generator is seeded by default (i.e., in the default