krr / IDP / issues / #316 - Unnesting in Rule Bodies — Bitbucket

Issue #316 resolved

Bart Bogaerts created an issue 2013-01-11

Commit ec7b1f699ed61ec7893a9357eb1e1dc0a92c2733 suggests that unnestterms should not visit rule-bodies.

However, I don't get the reason for this. It should be reviewed...

Addendum: uncommenting the visit of rulebodies does not make the added test fail...

Comments (2)

Bart Bogaerts reporter
- edited description
- 2013-01-11T10:05:12+00:00
Broes De Cat
- changed status to resolved
Fixes ~~#316~~: Code was incorrectly commented (although it did not result in problems).

→ <<cset 55ab984134e7>>
- 2013-01-14T17:10:07+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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