LSX-00257: atom specification is missing

LSX-00257: atom specification is missing

Cause: A quantifier was found without an atom specification.

Action: Add an atom specification in front of the quantifier.
Posted by

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)