diff options
Diffstat (limited to 'src/map/amap/amapInt.h')
-rw-r--r-- | src/map/amap/amapInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/amap/amapInt.h b/src/map/amap/amapInt.h index e2284ce6..7a9bef7a 100644 --- a/src/map/amap/amapInt.h +++ b/src/map/amap/amapInt.h @@ -26,6 +26,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// +#include "misc/extra/extra.h" #include "aig/aig/aig.h" #include "amap.h" |