diff options
-rw-r--r-- | src/python/setup.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/python/setup.py b/src/python/setup.py index a832f511..3ef006af 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', |