Add padic_types.h to headers in Makefile

Thanks to @tornaria for bringing this up
flintlib · Feb 27, 2024 · 0e2fa0f · 0e2fa0f
1 parent 785a6d0
commit 0e2fa0f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -263,6 +263,7 @@ SINGLE_HEADERS :=                                                           \
         fmpz_types.h                    fmpq_types.h                        \
         fmpz_mod_types.h                fq_nmod_types.h                     \
         fq_zech_types.h                 fq_types.h                          \
+        padic_types.h                                                       \
         n_poly_types.h                  mpoly_types.h                       \
         arf_types.h                     acf_types.h                         \
         arb_types.h                     acb_types.h                         \