Check that the Absyn we used to generate the C file is exactly the one the user has installed #9
Description
Currently, the latest version of Absyn is fetched and the C-code is generated for that.
If a user has another Absyn errors might occur.
{{ message }}