rename test file

lecopivo · Apr 17, 2024 · 364df67 · 364df67
1 parent 893a76e
commit 364df67
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/rand/var_inference.lean → test/rand/split_normal.lean b/test/rand/var_inference.lean → test/rand/split_normal.lean
@@ -121,7 +121,7 @@ def loss1_deriv_reparam (θ : R) :=
       pattern (cderiv _ _ _ _)
       enter[2,x]
       rw[Rand.reparameterize (fun y => y - x) sorry_proof]
-      fun_trans
+      fun_trans (config:={zeta:=false})
 
     -- clean up
     autodiff