adding missing single headers

flintlib · Oct 9, 2023 · 066f16e · 066f16e
1 parent 72ff155
commit 066f16e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -217,6 +217,7 @@ SINGLE_HEADERS :=                                                           \
         flint.h         longlong.h      exception.h    gmpcompat.h          \
         hashmap.h       profiler.h      templates.h    flint-config.h       \
         fft_tuning.h                                                        \
+        crt_helpers.h                   machine_vectors.h                   \
                                                                             \
         limb_types.h                    mpoly_types.h                       \
         fmpz_types.h                    fmpq_types.h                        \