diff options
Diffstat (limited to 'frontends/ast')
| -rw-r--r-- | frontends/ast/ast.cc | 2 | ||||
| -rw-r--r-- | frontends/ast/genrtlil.cc | 2 | ||||
| -rw-r--r-- | frontends/ast/simplify.cc | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc index e5db5a94..4e61b33a 100644 --- a/frontends/ast/ast.cc +++ b/frontends/ast/ast.cc @@ -27,7 +27,7 @@ */ #include "kernel/log.h" -#include "kernel/sha1.h" +#include "libs/sha1/sha1.h" #include "ast.h" #include <sstream> diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc index 9f1acb61..b12573e6 100644 --- a/frontends/ast/genrtlil.cc +++ b/frontends/ast/genrtlil.cc @@ -27,7 +27,7 @@ */ #include "kernel/log.h" -#include "kernel/sha1.h" +#include "libs/sha1/sha1.h" #include "ast.h" #include <sstream> diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc index 33776d65..feb81067 100644 --- a/frontends/ast/simplify.cc +++ b/frontends/ast/simplify.cc @@ -27,7 +27,7 @@ */ #include "kernel/log.h" -#include "kernel/sha1.h" +#include "libs/sha1/sha1.h" #include "ast.h" #include <sstream> |