diff options
Diffstat (limited to 'src/regex/test_regex_proofs.c')
| -rw-r--r-- | src/regex/test_regex_proofs.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/regex/test_regex_proofs.c b/src/regex/test_regex_proofs.c index f5bac0ad7..d7c743c77 100644 --- a/src/regex/test_regex_proofs.c +++ b/src/regex/test_regex_proofs.c | |||
| @@ -24,6 +24,7 @@ | |||
| 24 | */ | 24 | */ |
| 25 | #include "platform.h" | 25 | #include "platform.h" |
| 26 | #include "regex_internal_lib.h" | 26 | #include "regex_internal_lib.h" |
| 27 | #include "regex_test_lib.h" | ||
| 27 | #include "regex_internal.h" | 28 | #include "regex_internal.h" |
| 28 | 29 | ||
| 29 | 30 | ||