diff options
Diffstat (limited to 'src/map/mio/mioRead.c')
-rw-r--r-- | src/map/mio/mioRead.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/map/mio/mioRead.c b/src/map/mio/mioRead.c index 53ea7d2d..2d1a747f 100644 --- a/src/map/mio/mioRead.c +++ b/src/map/mio/mioRead.c @@ -209,7 +209,14 @@ int Mio_LibraryReadInternal( Mio_Library_t * pLib, char * pBuffer, int fExtended pGate = Mio_LibraryReadGate( &pToken, fExtendedFormat ); if ( pGate == NULL ) return 1; - +/* + // skip the gate if its formula has problems + if ( !Mio_ParseCheckFormula(pGate, pGate->pForm) ) + { + Mio_GateDelete( pGate ); + continue; + } +*/ // set the library pGate->pLib = pLib; |