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

Constructed types are not properly cloned

Issue #895 new
Bart Bogaerts created an issue

They keep the old function symbols, instead of their clones

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

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