Commit 2a6c2955 authored by Jeff Smits's avatar Jeff Smits

Fixed ctree parsing with new aterm parse behaviour

parent 95626e54
......@@ -1187,10 +1187,8 @@ impl<'s, 'a> TryFrom<&'a ATermRef<'s>> for PreTerm
}
fn match_string<'s>(r: &ATermRef<'s>) -> Result<String, Error> {
if let FTerm::Application(ref str, ref r) = r.term {
if r.is_empty() {
return Ok(string_unescape(str));
}
if let FTerm::String(str) = r.term {
return Ok(String::from(str));
}
Err(Error::CTreeParse("string"))
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment