diff options
Diffstat (limited to 'src/theory/quantifiers/conjecture_generator.h')
-rw-r--r-- | src/theory/quantifiers/conjecture_generator.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/quantifiers/conjecture_generator.h b/src/theory/quantifiers/conjecture_generator.h index e8b5e260a..ef60792a6 100644 --- a/src/theory/quantifiers/conjecture_generator.h +++ b/src/theory/quantifiers/conjecture_generator.h @@ -239,10 +239,10 @@ class ConjectureGenerator : public QuantifiersModule friend class SubsEqcIndex; friend class TermGenerator; friend class TermGenEnv; - typedef context::CDHashMap< Node, Node, NodeHashFunction > NodeMap; - typedef context::CDHashMap< Node, bool, NodeHashFunction > BoolMap; -//this class maintains a congruence closure for *universal* facts -private: + typedef context::CDHashMap<Node, Node> NodeMap; + typedef context::CDHashMap<Node, bool> BoolMap; + // this class maintains a congruence closure for *universal* facts + private: //notification class for equality engine class NotifyClass : public eq::EqualityEngineNotify { ConjectureGenerator& d_sg; |