diff --git a/src/sat/sat_cutset.h b/src/sat/sat_cutset.h
index dc6f0c4b7..ec2675ce1 100644
--- a/src/sat/sat_cutset.h
+++ b/src/sat/sat_cutset.h
@@ -69,6 +69,7 @@ namespace sat {
         bool is_false() const { return 0 == (table_mask() &  m_table); }
 
         bool operator==(cut const& other) const;
+        bool operator!=(cut const& other) const { return !(*this == other); }
         unsigned hash() const;
         struct eq_proc { 
             bool operator()(cut const& a, cut const& b) const { return a == b; }