On Mon, Sep 16, 2013 at 5:08 AM, Robert P. Goldman <rpgoldman at 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/