Add mpn_extras/inlines.c

albinahlback · Dec 21, 2024 · 179c80e · 179c80e
1 parent 86a898f
commit 179c80e
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/mpn_extras/inlines.c b/src/mpn_extras/inlines.c
@@ -0,0 +1,14 @@
+/*
+    Copyright (C) 2015 William Hart
+
+    This file is part of FLINT.
+
+    FLINT is free software: you can redistribute it and/or modify it under
+    the terms of the GNU Lesser General Public License (LGPL) as published
+    by the Free Software Foundation; either version 3 of the License, or
+    (at your option) any later version.  See <https://www.gnu.org/licenses/>.
+*/
+
+#define MPN_EXTRAS_INLINES_C
+
+#include "mpn_extras.h"