remove unused warning_span

utaal · utaal · commit 6791f182cd8d · 2021-07-30T13:55:28.000+02:00
diff --git a/verify/rust_verify/src/util.rs b/verify/rust_verify/src/util.rs
@@ -24,12 +24,6 @@ pub(crate) fn unsupported_err_span<A>(span: Span, msg: String) -> Result<A, VirE
     )
 }
 
-// TODO remove if unused
-pub(crate) fn warning_span(span: Span, msg: String) -> () {
-    eprintln!("warning: {}", msg);
-    eprintln!("   --> {:?}", span);
-}
-
 #[macro_export]
 macro_rules! unsupported_err {
     ($span: expr, $msg: expr) => {{

Original file line number	Diff line number	Diff line change
`@@ -24,12 +24,6 @@ pub(crate) fn unsupported_err_span<A>(span: Span, msg: String) -> Result<A, VirE`
`24`	`24`	`)`
`25`	`25`	`}`
`26`	`26`
`27`		`-// TODO remove if unused`
`28`		`-pub(crate) fn warning_span(span: Span, msg: String) -> () {`
`29`		`- eprintln!("warning: {}", msg);`
`30`		`- eprintln!(" --> {:?}", span);`
`31`		`-}`
`32`		`-`
`33`	`27`	`#[macro_export]`
`34`	`28`	`macro_rules! unsupported_err {`
`35`	`29`	`($span: expr, $msg: expr) => {{`