From 1d56625e08435dd6436b3a17c895f9a7339356e1 Mon Sep 17 00:00:00 2001 From: Fredrik Johansson Date: Tue, 18 Jun 2024 17:00:59 +0200 Subject: [PATCH] nmod_vec/profile/p-dot.c: include foo.h instead of flint/foo.h --- src/nmod_vec/profile/p-dot.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/nmod_vec/profile/p-dot.c b/src/nmod_vec/profile/p-dot.c index 97f9aa0979..7b782a1f06 100644 --- a/src/nmod_vec/profile/p-dot.c +++ b/src/nmod_vec/profile/p-dot.c @@ -9,15 +9,15 @@ (at your option) any later version. See . */ -#include +#include #include // for atoi -#include -#include -#include -#include -#include -#include +#include "profiler.h" +#include "nmod.h" +#include "nmod_vec.h" +#include "nmod_mat.h" +#include "nmod_poly.h" +#include "gr_poly.h" // utility (nmod vec uniform random) static inline