From 5070965bfee7ad8a0af0d4abc0f8c6d07b7ae5ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 2 Nov 2019 04:12:16 +0100
Subject: [PATCH] Make predicate declarations hashable

---
 src/ast.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast.rs b/src/ast.rs
index ef19a04..9f81d17 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -1,4 +1,4 @@
-#[derive(PartialEq)]
+#[derive(Eq, Hash, PartialEq)]
 pub struct PredicateDeclaration
 {
 	pub name: String,