1 Commits
Author SHA1 Message Date
patrick 9202c839e2 Support hashing domains 2019-11-07 03:14:21 -06:00
+1 -1
View File
@@ -53,7 +53,7 @@ pub enum Formula
Predicate(Predicate), Predicate(Predicate),
} }
#[derive(PartialEq)] #[derive(Eq, Hash, PartialEq)]
pub enum Domain pub enum Domain
{ {
Program, Program,