diff options
| author | whitequark <whitequark@whitequark.org> | 2019-08-18 08:04:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-18 08:04:10 +0000 |
| commit | 101235400caeb4ec019311dfb96100b770060c92 (patch) | |
| tree | e1a9537620e8a7dbc213044beea3d7e71173c410 /backends | |
| parent | 8a2480526f2ff80cbdf0f0f4279e8989b53b6e9b (diff) | |
| parent | 2a78a1fd00fe66972885117efb1ac6a8b095f061 (diff) | |
| download | yosys-101235400caeb4ec019311dfb96100b770060c92.tar.gz yosys-101235400caeb4ec019311dfb96100b770060c92.tar.bz2 yosys-101235400caeb4ec019311dfb96100b770060c92.zip | |
Merge branch 'master' into eddie/pr1266_again
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index f49ecbeda..5e12e9a34 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -312,7 +312,7 @@ struct XAigerWriter #if 0 toposort.analyze_loops = true; #endif - bool no_loops = toposort.sort(); + bool no_loops YS_ATTRIBUTE(unused) = toposort.sort(); #if 0 unsigned i = 0; for (auto &it : toposort.loops) { |