krr / IDP / issues / #912 - two valued extensions voor constructed types werken niet — Bitbucket

Issue #912 closed

Ingmar Dasseville created an issue 2016-03-11

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=e0ed5c70d97ce2250185

Comments (2)

Bart Bogaerts
- changed status to invalid
Er was gewoon geen structuur in uw file. Werkt prima

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=c253c87db1e5588eba6b
- 2016-03-23T15:38:12+00:00
JoD
- changed status to closed
pull request #386.
- 2016-06-24T16:45:04+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: closed

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!