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) | |
| download | gnunet-5f7a6c8f6816a826a2dd93eadc5039733f7db606.tar.gz gnunet-5f7a6c8f6816a826a2dd93eadc5039733f7db606.zip | |
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 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 | ||