make partial_string callable.
@@ -33,7 +33,7 @@ pub fn name(&self) -> &'static str {
&InlinedClauseType::IsString(..) => "string",
&InlinedClauseType::IsFloat (..) => "float",
&InlinedClauseType::IsNonVar(..) => "nonvar",
- &InlinedClauseType::IsPartialString(..) => "partial_string",
+ &InlinedClauseType::IsPartialString(..) => "is_partial_string",
&InlinedClauseType::IsVar(..) => "var",
}
}
@@ -418,6 +418,7 @@ pub fn from(name: &str, arity: usize) -> Option<Self> {
("\\==", 2) => Some(BuiltInClauseType::NotEq),
("sort", 2) => Some(BuiltInClauseType::Sort),
("read", 1) => Some(BuiltInClauseType::Read),
+ ("partial_string", 2) => Some(BuiltInClauseType::PartialString),
_ => None
}
}
