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

Groundtheory invariant on definitional context is not cleanly implemented

Issue #237 new
Broes De Cat created an issue

No description provided.

Comments (1)

  1. Broes De Cat reporter

    Bugfix (HACKED): splitting the completion messes with the invariant in groundtheory that a defined tseitin is only ever grounded when in definitional context. Solved by switching grounding order, but should be fixed cleaner, refs #237

    → 384c93f005ec

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