diff options
Diffstat (limited to 'frontends/ast/genrtlil.cc')
| -rw-r--r-- | frontends/ast/genrtlil.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc index 9f1acb61a..b12573e69 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> |