Commit a756f833 authored by Jeff Smits's avatar Jeff Smits

Somehow this wrong unimplemented use slipped through

parent 8e0b8877
......@@ -637,7 +637,8 @@ pub fn write_term_to_stream_saf<'d, 'f: 'd>(
argument count",
unimplemented!("SAF printing not implemented");
eprintln!("SAF printing not implemented");
// let fd = targs[0].get_int().ok_or(Error::StrategyFailed)?;
// let term = targs[1].clone();
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