1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Overloaded constructors

Issue #933 new
Bart Bogaerts created an issue

Do not work.

Error needed when one is used in a structure, since disambiguation is not possible.

See http://dtai.cs.kuleuven.be/krr/idp-ide/?src=990b7be268f4fa26bcb3b5642e366440

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
new
Component
–
Version
–
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!