krr / IDP / issues / #763 - Merging Structures — Bitbucket

Issue #763 resolved

Jorn Lapon created an issue 2014-06-02

While trying to merge 2 structures with different vocabularies I get 2 errors.

example1.idp gives a segfault
example2.idp returns "The structure does not contain the predicate Q/1"

Comments (2)

Jorn Lapon reporter
- 2014-06-02T13:54:22+00:00
Bart Bogaerts
- changed status to resolved
resolved in branch mergingfix
- 2015-04-09T15:54:26+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: 3.0

Votes: 0

Watchers: 2

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