Fixes in docs and emap (#625)

* Fix in assertion and docs dependencies
lsils · Oct 13, 2023 · d0fddde · d0fddde
1 parent b35056c
commit d0fddde
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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] );
       }
     }