From 9202c839e2654e92a7535019924918203e89862c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Thu, 7 Nov 2019 03:14:21 -0600
Subject: [PATCH] Support hashing domains

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

diff --git a/src/ast.rs b/src/ast.rs
index 06ebb77..08786ce 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -53,7 +53,7 @@ pub enum Formula
 	Predicate(Predicate),
 }
 
-#[derive(PartialEq)]
+#[derive(Eq, Hash, PartialEq)]
 pub enum Domain
 {
 	Program,