diff options
author | Determinant <[email protected]> | 2018-07-16 05:00:14 -0400 |
---|---|---|
committer | Determinant <[email protected]> | 2018-07-16 05:00:14 -0400 |
commit | a7cfb274d651e858ab06eff5b28a6f77e0178cf1 (patch) | |
tree | 7d76e5b5be935ef63a47dd1ed43b391f9a7e513c /src/core.cpp | |
parent | aac40104573f8aabca86410cc08584acaaa74e26 (diff) |
move header files to include/hotstuff
Diffstat (limited to 'src/core.cpp')
-rw-r--r-- | src/core.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core.cpp b/src/core.cpp index d6a4cc7..125e168 100644 --- a/src/core.cpp +++ b/src/core.cpp @@ -1,5 +1,5 @@ #include <stack> -#include "core.h" +#include "hotstuff/core.h" using salticidae::DataStream; using salticidae::static_pointer_cast; |