# HG changeset patch # User Andreas Schwab # Date 880464486 0 # Node ID d8e5f3c1618bf3f957c214a9fa9c8d6d9abb16d4 # Parent 97e5f74f6bc10891c52d8933ca2dba4badf916e9 Include "intervals.h" for prototypes. diff -r 97e5f74f6bc1 -r d8e5f3c1618b src/search.c --- a/src/search.c Tue Nov 25 04:49:10 1997 +0000 +++ b/src/search.c Tue Nov 25 13:28:06 1997 +0000 @@ -28,6 +28,7 @@ #include "region-cache.h" #include "commands.h" #include "blockinput.h" +#include "intervals.h" #include #include "regex.h"