Commit 3d77fd37 authored by André Pacak's avatar André Pacak

enable transformation of error judgments to inca code (judgmentInstanceNot...

enable transformation of error judgments to inca code (judgmentInstanceNot translation) and other bug fixes (correct generation of error judgment declarations, avoid generating ADT for BaseConcept, translate to inca even when BaseConcept is output of error judgment)
parent f5575ef6
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment