diff options
| author | Christian Grothoff <christian@grothoff.org> | 2013-06-20 08:55:56 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2013-06-20 08:55:56 +0000 |
| commit | 5f7a6c8f6816a826a2dd93eadc5039733f7db606 (patch) | |
| tree | 3c22c8ff3436cc3140dfb1b24813ed4362330879 /src/regex/test_regex_proofs.c | |
| parent | 21a2b4f95b4488645ba5a6254fcb8919c4915f73 (diff) | |
moving functions for testing and evaluation and experiments to the test library, minimizing the internal library, renaming files according to which library they belong to
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 f5bac0ad76..d7c743c773 100644 --- a/src/regex/test_regex_proofs.c +++ b/src/regex/test_regex_proofs.c @@ -24,6 +24,7 @@ */ #include "platform.h" #include "regex_internal_lib.h" +#include "regex_test_lib.h" #include "regex_internal.h" |