Commit de4cd12a authored by Jeff Smits's avatar Jeff Smits

I'm guessing unimplemented can only take a message in a recent nightly version

parent a756f833
......@@ -163,7 +163,8 @@ pub fn indexedSet_getElem<'d, 'f: 'd>(
targs: Vec<ATermRef<'f>>,
current: ATermRef<'f>,
) -> Result<ATermRef<'f>> {
unimplemented!("Not available in Java either!")
eprintln!("Not available in Java either!");
pub fn indexedSet_elements<'d, 'f: 'd>(
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