# 
# 
# patch "vocab_macros.hh"
#  from [9a2cbe362da02a7052e3e8d46153d8eeb535e9db]
#    to [748ccefd0d3c1b09bd0a271f92b25279526f5063]
# 
============================================================
--- vocab_macros.hh	9a2cbe362da02a7052e3e8d46153d8eeb535e9db
+++ vocab_macros.hh	748ccefd0d3c1b09bd0a271f92b25279526f5063
@@ -30,6 +30,8 @@ public:                                 
   operator=(enc<INNER> const & other);                 \
   bool operator==(enc<INNER> const & x) const          \
     { return i() == x(); }                             \
+  bool operator!=(enc<INNER> const & x) const          \
+    { return i() != x(); }                             \
   friend std::ostream & operator<< <>(std::ostream &,  \
                                  enc<INNER> const &);  \
 };
@@ -64,6 +66,8 @@ public:                                 
   operator=(dec<INNER> const & other);                 \
   bool operator==(dec<INNER> const & x) const          \
     { return i == x.i; }                               \
+  bool operator!=(dec<INNER> const & x) const          \
+    { return i != x.i; }                               \
   friend std::ostream & operator<< <>(std::ostream &,  \
                                  dec<INNER> const &);  \
 };