diff options
Diffstat (limited to 'tvix/eval/src/properties.rs')
| -rw-r--r-- | tvix/eval/src/properties.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tvix/eval/src/properties.rs b/tvix/eval/src/properties.rs index 8ca11d6729c0..45c1cdfce911 100644 --- a/tvix/eval/src/properties.rs +++ b/tvix/eval/src/properties.rs @@ -35,7 +35,6 @@ macro_rules! eq_laws { #[proptest($config)] fn transitive(#[$meta] x: $ty, #[$meta] y: $ty, #[$meta] z: $ty) { - dbg!(&x, &y, &z); if x == y && y == z { assert!(x == z); } |