relvar/fix_relvar_lib2.py at trunk · madmax983/relvar · GitHub

1
2
3
4
5
6
7
8
with open("relvar/src/lib.rs", "r") as f:
    content = f.read()
# Revert the wrong change
content = content.replace("pub use relvar_core::{Aggregation, AggregationFn};\n\npub use relvar_core::{Aggregation, AggregationFn};\npub use relvar_core::algebra::{", "pub use relvar_core::algebra::{")
content = content.replace("pub use relvar_core::{Aggregation, AggregationFn};\npub use relvar_core::algebra::{", "pub use relvar_core::{Aggregation, AggregationFn};\npub use relvar_core::algebra::{")

with open("relvar/src/lib.rs", "w") as f:
    f.write(content)