1 files changed, 1 insertions, 1 deletions

diff --git a/src/intervals.c b/src/intervals.c
index f9e9c864e13..2cebc9af585 100644
--- a/src/intervals.c
+++ b/src/intervals.c
@@ -39,7 +39,7 @@ along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include <config.h>
 #include <setjmp.h>
-#include <intprops.h>
+
 #include "lisp.h"
 #include "intervals.h"
 #include "buffer.h"