diff options
Diffstat (limited to 'include/mpi.h')
| -rw-r--r-- | include/mpi.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/mpi.h b/include/mpi.h index 77e6c48ca..50e088b20 100644 --- a/include/mpi.h +++ b/include/mpi.h @@ -34,7 +34,6 @@ #include "iobuf.h" #include "types.h" #include "memory.h" -#include "../mpi/mpi-asm-defs.h" #if BYTES_PER_MPI_LIMB == SIZEOF_UNSIGNED_INT typedef unsigned int mpi_limb_t; |