diff options
Diffstat (limited to 'src/aig/int/intInt.h')
-rw-r--r-- | src/aig/int/intInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/int/intInt.h b/src/aig/int/intInt.h index ea2c48b8..dbb4301e 100644 --- a/src/aig/int/intInt.h +++ b/src/aig/int/intInt.h @@ -43,7 +43,7 @@ extern "C" { /// BASIC TYPES /// //////////////////////////////////////////////////////////////////////// -// simulation manager +// interpolation manager typedef struct Inter_Man_t_ Inter_Man_t; struct Inter_Man_t_ { |