Modifications

2026-09-07 11:44:42 +00:00
parent 617dbeb988
commit 457e63ad8e
7 changed files with 259 additions and 225 deletions
@@ -40,7 +40,7 @@ fn main() {
    println!("{reg_fns:#?}");

    println!("=== after declass ===");
-    let declassed = declass(reg_fns, &atoms);
+    let declassed = declass(reg_fns);
    println!("{declassed:#?}");

    println!("=== after declosure ===");