krr / IDP / issues / #902 - XSB bites the dust again — Bitbucket

Issue #902 resolved

Ingmar Dasseville created an issue 2015-09-15

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

Unneeded ix_7_t(IXl) in main rule

Comments (3)

Bart Bogaerts
Issue #903 was marked as a duplicate of this issue.
- 2015-09-16T11:35:19+00:00
Ingmar Dasseville reporter
- assigned issue to
  
  Joachim Jansen
- 2015-09-16T12:58:41+00:00
Ingmar Dasseville reporter
- changed status to resolved
Merged in xsbFix902 (pull request #378)

Fix issue 902

→ <<cset 1b41572186e1>>
- 2015-09-17T12:39:49+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 3

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