Small cleanup

This commit is contained in:
Loïc Lecrenier
2023-03-20 13:39:19 +01:00
parent c63c7377e6
commit 272cd7ebbd
4 changed files with 4 additions and 27 deletions

View File

@ -488,9 +488,9 @@ shape: class"
let p = ctx.word_interner.get(*use_prefix_db);
writeln!(file, "use prefix DB : {p}").unwrap();
}
for d in distances.iter() {
writeln!(file, "\"d_{d}\" : distance").unwrap();
}
// for d in distances.iter() {
// writeln!(file, "\"d_{d}\" : distance").unwrap();
// }
writeln!(file, "}}").unwrap();
}