fix non-deterministic test

This commit is contained in:
Ralf Jung 2019-07-23 23:48:28 +02:00
parent 724cf41eb1
commit 85be8ab8eb

View file

@ -33,5 +33,5 @@ fn is_u64_aligned(u: &Tag<u64>) -> bool {
pub fn main() {
let x = mk_rec();
assert!(is_u64_aligned(&x.t));
is_u64_aligned(&x.t); // the result of this is non-deterministic
}