diff options
Diffstat (limited to 'test/unit/util/stats_black.cpp')
| -rw-r--r-- | test/unit/util/stats_black.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/util/stats_black.cpp b/test/unit/util/stats_black.cpp index 7fdf44298..669857e96 100644 --- a/test/unit/util/stats_black.cpp +++ b/test/unit/util/stats_black.cpp @@ -20,8 +20,8 @@ #include <string> #include <thread> -#include "expr/proof_rule.h" #include "lib/clock_gettime.h" +#include "proof/proof_rule.h" #include "test.h" #include "util/statistics_registry.h" #include "util/statistics_stats.h" |