diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-31 23:30:18 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-31 23:30:18 +0200 |
| commit | 32a1cc3efdad7953af1805b245f2a0292698633a (patch) | |
| tree | 3d80e27faca013b5af666b31170403d0c6cfd4e2 /passes/sat/share.cc | |
| parent | 62c8a7152551519d6e876319b1068a1987a14f3c (diff) | |
| download | yosys-32a1cc3efdad7953af1805b245f2a0292698633a.tar.gz yosys-32a1cc3efdad7953af1805b245f2a0292698633a.tar.bz2 yosys-32a1cc3efdad7953af1805b245f2a0292698633a.zip | |
Renamed modwalker.h to modtools.h
Diffstat (limited to 'passes/sat/share.cc')
| -rw-r--r-- | passes/sat/share.cc | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/passes/sat/share.cc b/passes/sat/share.cc index 1041227ed..ea7a9f631 100644 --- a/passes/sat/share.cc +++ b/passes/sat/share.cc @@ -17,13 +17,12 @@ * */ -#include "kernel/rtlil.h" +#include "kernel/yosys.h" #include "kernel/satgen.h" #include "kernel/sigtools.h" -#include "kernel/modwalker.h" -#include "kernel/register.h" -#include "kernel/log.h" -#include <algorithm> +#include "kernel/modtools.h" + +PRIVATE_NAMESPACE_BEGIN struct ShareWorkerConfig { @@ -967,3 +966,5 @@ struct SharePass : public Pass { } } SharePass; +PRIVATE_NAMESPACE_END + |