diff options
Diffstat (limited to 'src/prop/zero_level_learner.cpp')
| -rw-r--r-- | src/prop/zero_level_learner.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/prop/zero_level_learner.cpp b/src/prop/zero_level_learner.cpp index 1b11662aa..3562545b8 100644 --- a/src/prop/zero_level_learner.cpp +++ b/src/prop/zero_level_learner.cpp @@ -84,7 +84,8 @@ void ZeroLevelLearner::notifyInputFormulas( for (const Node& lit : ppl) { output(OutputTag::LEARNED_LITS) - << "(learned-lit " << lit << " :preprocess)" << std::endl; + << "(learned-lit " << SkolemManager::getOriginalForm(lit) + << " :preprocess)" << std::endl; } } for (const Node& a : assertions) |