diff options
Diffstat (limited to 'src/aig/ivy/ivy.h')
| -rw-r--r-- | src/aig/ivy/ivy.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/ivy/ivy.h b/src/aig/ivy/ivy.h index 6aa7fa9f..ed19d67c 100644 --- a/src/aig/ivy/ivy.h +++ b/src/aig/ivy/ivy.h @@ -30,6 +30,7 @@ extern "C" { //////////////////////////////////////////////////////////////////////// #include <stdio.h> +#include "extra.h" #include "vec.h" //////////////////////////////////////////////////////////////////////// |