From d0fddde8c8cac78be237bc686de28cdb36e832f0 Mon Sep 17 00:00:00 2001
From: Alessandro Tempia Calvino <44085674+aletempiac@users.noreply.github.com>
Date: Fri, 13 Oct 2023 13:30:00 +0200
Subject: [PATCH] Fixes in docs and emap (#625)

* Fix in assertion and docs dependencies
---
 docs/conf.py                                        | 2 +-
 include/mockturtle/algorithms/experimental/emap.hpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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] );
       }
     }