diff options
| -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, |