diff --git a/src/main/java/leon/codegen/runtime/Set.java b/src/main/java/leon/codegen/runtime/Set.java
index df70fd057836ec84a85fc8f0be5750089c46257a..f882fdf3b377b29a8106d00b657a6778eb3590e6 100644
--- a/src/main/java/leon/codegen/runtime/Set.java
+++ b/src/main/java/leon/codegen/runtime/Set.java
@@ -74,4 +74,12 @@ public final class Set {
     }
     return new Set(n);
   }
+
+  @Override
+  public boolean equals(Object that) {
+    if(that == this) return true;
+    if(!(that instanceof Set)) return false;
+    Set other = (Set)that;
+    return this.subsetOf(other) && other.subsetOf(this);
+  }
 }