From bd54bd42c5933e4c571dcfd6a8afac8e52cf7366 Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Thu, 25 Jan 2024 12:13:18 +0100 Subject: [PATCH] Adapt libarb_s7.c to FLINT 3. --- libarb_s7.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/libarb_s7.c b/libarb_s7.c index 7413ccc..d9e0084 100644 --- a/libarb_s7.c +++ b/libarb_s7.c @@ -6,10 +6,10 @@ #include #include -#include -#include -#include -#include +#include +#include +#include +#include #define WITH_GMP 1 #include "s7.h" -- 2.41.0 89af0e3d5'/> Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author