#21 Code Generator does not find .coco inside codgen/

[Luis Pedro]

When you are trying to generate code from your prototype, sometimes the
generator will say it cannot find the - name of your specification - "dot"
coco, inside the "codegen" directory. I didn't understand why, but when it
started to do this I simply couldn't generate more code.

More details: http://smv.unige.ch/tiki-index.php?
page=CoopnKnownIssues