1 Commits

Author SHA1 Message Date
9202c839e2 Support hashing domains 2019-11-07 03:14:21 -06:00

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,