VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

Error message for ANTLR when starting #26

Closed mattulbrich closed 7 years ago

mattulbrich commented 7 years ago

There seems to be a version conflict.

ANTLR Tool version 4.5.3 used for code generation does not match the current runtime version 4.6ANTLR Runtime version 4.5.3 used for parser compilation does not match the current runtime version 4.6ANTLR Tool version 4.5.3 used for code generation does not match the current runtime version 4.6ANTLR Runtime version 4.5.3 used for parser compilation does not match the current runtime version 4.6

Spotted on a1b8e617cd2b55a1c018f796381891ef8e7776d2

csicar commented 7 years ago

The error message did not disappear even, if the compile-version und runtime-version of antlr are the same. Updating the compile-version is still a good idea.

wadoon commented 7 years ago

@wadoon lift iec61131lang to 4.7

wadoon commented 7 years ago

Should be resolved.