TMP

Cypher1 · Mar 11, 2024 · 53d9172 · 53d9172
1 parent a963bda
commit 53d9172
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/llamada/src/tests.rs b/llamada/src/tests.rs
@@ -211,8 +211,8 @@ macro_rules! tests {
                     let constf_n_m = $crate::expr!(
                         &mut expr,
                         constf_n_m,
-                        constf_m = App(constf.clone(), church_m),
-                        constf_n_m = App(constf_m, church_n)
+                        constf_m = App(constf.clone(), church_m.clone()),
+                        constf_n_m = App(constf_m.clone(), church_n.clone())
                     );
                     *expr.root_mut() = constf_n_m.clone();
                     expr.reduce();