17 Sep
2013
17 Sep
'13
4:42 p.m.
On Mon, Sep 16, 2013 at 5:08 AM, Robert P. Goldman <rpgoldman@sift.info> wrote:
unknown CFFI type: NUSMV-NODE::NODE-CLASS.
The CFFI type name is still NODE, so you should use that rather than NODE-CLASS in bits of code that except a CFFI type. HTH, -- Luís Oliveira http://kerno.org/~luis/