diff --git a/docs/conf.py b/docs/conf.py index a1a30bd47..d83b0953a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -31,7 +31,7 @@ # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. -extensions = ['sphinx.ext.mathjax', 'sphinx.ext.viewcode', 'breathe'] +extensions = ['sphinx.ext.mathjax', 'sphinx.ext.viewcode', 'breathe', 'sphinx_rtd_theme'] # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] diff --git a/include/mockturtle/algorithms/experimental/emap.hpp b/include/mockturtle/algorithms/experimental/emap.hpp index 6b51cd023..935038eee 100644 --- a/include/mockturtle/algorithms/experimental/emap.hpp +++ b/include/mockturtle/algorithms/experimental/emap.hpp @@ -3882,8 +3882,8 @@ class emap_impl /* add the optional other match if used */ if ( !node_data.same_match && node_data.map_refs[phase] > 0 ) { + assert( !ps.map_multioutput || !node_data.multioutput_match[phase] ); create_lut_for_gate2( res, old2new, index, phase, genlib_to_cell ); - assert( ps.map_multioutput && !node_data.multioutput_match[phase] ); } }