Skip to content

Typecheck fixes for OCL flattening#233

Closed
ahellwig wants to merge 1 commit intodevfrom
typecheck-fix-flattening
Closed

Typecheck fixes for OCL flattening#233
ahellwig wants to merge 1 commit intodevfrom
typecheck-fix-flattening

Commits

Commits on Jan 4, 2026