feat(kernel/type_checker): add swap method

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-17 19:18:46 -07:00
parent 4325b126d4
commit 28e8299f6d

View file

@ -95,6 +95,8 @@ public:
expr ensure_pi(expr const & t);
/** \brief Return a Sort if \c t is convertible to Sort. Throw an exception otherwise. */
expr ensure_sort(expr const & t);
void swap(type_checker & tc) { std::swap(m_ptr, tc.m_ptr); }
};
/**