[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] kind request for help



When i try to typecheck my specification, I get the message: 

Break: make-subtype-tcc-decl freevars

I have no idea what this means and I cannot find it documented anywhere.

Thanks in advance, 
  Andrei Popescu