definition equality doesn't depend on Atts

cos · cos · commit 9d9ceed3202f · 2015-12-28T17:56:50.000-06:00
Former-commit-id: f8eff4f8eb1cfa0ddb2c34a1a63a728a3f9a2e94 [formerly 6c0d79e662506f202d46cd520fa7fabf14b10abc]
Former-commit-id: 51e3c669a7c3cc7635d20cdecb70d56e0db8a978
diff --git a/kore/src/main/scala/org/kframework/definition/outer.scala b/kore/src/main/scala/org/kframework/definition/outer.scala
@@ -45,6 +45,13 @@ case class Definition(
   assert(modules.contains(mainModule))
 
   def getModule(name: String): Option[Module] = modules find { case m: Module => m.name == name; case _ => false }
+
+  override def hashCode = mainModule.hashCode
+
+  override def equals(that: Any) = that match {
+    case Definition(`mainModule`, `entryModules`, _) => true
+    case _ => false
+  }
 }
 
 trait Sorting {
