diff options
Diffstat (limited to 'src/decision/justification_heuristic.h')
| -rw-r--r-- | src/decision/justification_heuristic.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index f4e30417c..0a16759e1 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -65,7 +65,7 @@ class JustificationHeuristic : public ITEDecisionStrategy { * A copy of the assertions that need to be justified * directly. Doesn't have ones introduced during during term removal. */ - context::CDList<TNode> d_assertions; + context::CDList<Node> d_assertions; //TNode is fine since decisionEngine has them too /** map from skolems introduced in term removal to the corresponding assertion |