mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
Use spaces for indentation.
This commit is contained in:
@@ -80,7 +80,10 @@ pub fn evaluate_unary_operation<T: FieldElement>(op: UnaryOperator, v: T) -> T {
|
||||
fn indent<S: ToString>(s: S, indentation: usize) -> String {
|
||||
s.to_string()
|
||||
.split('\n')
|
||||
.map(|line| format!("{}{line}", "\t".repeat(indentation)))
|
||||
.map(|line| match line {
|
||||
"" => "".to_string(),
|
||||
_ => format!("{}{line}", " ".repeat(indentation)),
|
||||
})
|
||||
.join("\n")
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user