diff options
Diffstat (limited to 'src/map/mpm/mpmGates.c')
| -rw-r--r-- | src/map/mpm/mpmGates.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/mpm/mpmGates.c b/src/map/mpm/mpmGates.c index d92be969..aa70e143 100644 --- a/src/map/mpm/mpmGates.c +++ b/src/map/mpm/mpmGates.c @@ -21,7 +21,8 @@ #include "mpmInt.h" #include "misc/st/st.h" #include "map/mio/mio.h" -#include "map/scl/sclInt.h" +#include "map/scl/sclSize.h" +#include "map/scl/sclTime.h" ABC_NAMESPACE_IMPL_START |