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/