diff --git a/src/python/setup.py b/src/python/setup.py index a832f5117..3ef006af9 100644 --- a/src/python/setup.py +++ b/src/python/setup.py @@ -7,6 +7,7 @@ from distutils import util include_dirs = [ '../aig/hop', '../aig/gia', + '../aig/mem', '../base/abc', '../base/cmd', '../base/io',