diff options
author | Anthony Wang | 2025-04-02 20:56:56 -0400 |
---|---|---|
committer | Anthony Wang | 2025-04-02 20:56:56 -0400 |
commit | ef98c6e86831328f6cbf9e64f92cda415803f5a2 (patch) | |
tree | 99f40446daa35efb8e8071d8f37bfa7d9231bdfc | |
parent | b24bc6eec345580b1447c1ecbbd01c2782a00a94 (diff) |
-rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index f6e5f17..601bb22 100644 --- a/src/main.rs +++ b/src/main.rs @@ -42,7 +42,7 @@ fn red(term: E) -> E { rand::random_range(0..1 << 32), &mut HashSet::<i64>::new(), )), - x => x, + x => E::A(Box::new(x), arg), } } x => x, |