diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-07-15 08:35:48 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-15 08:35:48 -0700 |
| commit | 06f94c92d49a82faad492026f2b0fe6cf0495fcf (patch) | |
| tree | b0a0e040c9917d84284ee5f74072883f3984a334 /kernel/log.cc | |
| parent | 78560aac86b763306798192aa375ed04a5b192a0 (diff) | |
| download | yosys-06f94c92d49a82faad492026f2b0fe6cf0495fcf.tar.gz yosys-06f94c92d49a82faad492026f2b0fe6cf0495fcf.tar.bz2 yosys-06f94c92d49a82faad492026f2b0fe6cf0495fcf.zip | |
Revert "Add log_checkpoint function and use it in opt_muxtree"
This reverts commit 0e6c83027f24cdf7082606a5631468ad28f41574.
Diffstat (limited to 'kernel/log.cc')
| -rw-r--r-- | kernel/log.cc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 08ebe7af7..e0a60ca12 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -427,13 +427,6 @@ void log_pop() log_flush(); } -void log_checkpoint() -{ - log_id_cache_clear(); - IdString::checkpoint(); - log_flush(); -} - #if (defined(__linux__) || defined(__FreeBSD__)) && defined(YOSYS_ENABLE_PLUGINS) void log_backtrace(const char *prefix, int levels) { |