Skip to content

Commit

Permalink
Use dimme instead of reverse
Browse files Browse the repository at this point in the history
  • Loading branch information
mverzilli committed Oct 16, 2023
1 parent 4ae3dbd commit 01432dd
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tooling/debugger/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -89,9 +89,9 @@ impl<'backend, B: BlackBoxFunctionSolver> DebugContext<'backend, B> {
println!("At {}.nr:{start}-{end}", file.path.as_path().display());
println!(
"\n{}{}{}\n",
&source[0..start],
&source[start..end].to_string().reversed(),
&source[end..]
&source[0..start].to_string().dimmed(),
&source[start..end],
&source[end..].to_string().dimmed(),
);
}
}
Expand Down

0 comments on commit 01432dd

Please sign in to comment.