diff options
Diffstat (limited to 'src/map/mio/mioInt.h')
| -rw-r--r-- | src/map/mio/mioInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mio/mioInt.h b/src/map/mio/mioInt.h index 3e843366..6f82309e 100644 --- a/src/map/mio/mioInt.h +++ b/src/map/mio/mioInt.h @@ -88,6 +88,7 @@ struct Mio_GateStruct_t_ Mio_Library_t * pLib; // the next gate in the list Mio_Gate_t * pNext; + Mio_Gate_t * pTwin; // the derived information int nInputs; // the number of inputs |