WrongItems.hascasl.output revision 57c51f0673511217c416090de812b779612e7551
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuparse error at 1.9:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuexpecting "[", "%", ",", "<", "{", ";", "sort", "op", "fun", "pred", "type", class, "program", "generated", "free", "var", "forall", ".", "axiom", "internal" or end of input
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuparse error at 2.5:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuparse error at 3.16:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuexpecting "[", "%", "->", "{", ";", "sort", "op", "fun", "pred", "type", class, "program", "generated", "free", "var", "forall", ".", "axiom", "internal" or end of input
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuparse error at 4.12:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuunexpected list of type arguments
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuexpecting casl char, "_", "%", "+", "-", ",", ":" or "<"
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuparse error at 5.12:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuunexpected list of type arguments
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuexpecting casl char, "_", "%", "+", "-", ",", ":" or "<"