diff options
Diffstat (limited to 'src/preprocessing/learned_literal_manager.h')
| -rw-r--r-- | src/preprocessing/learned_literal_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/learned_literal_manager.h b/src/preprocessing/learned_literal_manager.h index 2148b3f7c..2b0273628 100644 --- a/src/preprocessing/learned_literal_manager.h +++ b/src/preprocessing/learned_literal_manager.h @@ -48,7 +48,7 @@ class LearnedLiteralManager * It should be rewritten, and such that top level substitutions have * been applied to it. */ - void notifyLearnedLiteral(Node lit); + void notifyLearnedLiteral(TNode lit); /** * Get learned literals, which returns the current set of learned literals * provided to this class. These literals are refreshed so that the current |