mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-06 15:25:47 +00:00
Code Activity

Renamed modwalker.h to modtools.h

Browse source
This commit is contained in:
Clifford Wolf 2014-07-31 23:30:18 +02:00
parent 62c8a71525
commit 32a1cc3efd
3 changed files with 14 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

11
passes/sat/share.cc
View file

@ -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