diff options
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 2e56f9a33..c20be1dc1 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -30,9 +30,7 @@ #include <algorithm> #include <exception> -#include "kernel/rtlil.h" -#include "kernel/register.h" -#include "kernel/log.h" +#include "kernel/yosys.h" bool fgetline(FILE *f, std::string &buffer) { |