Merge pull request #41 from RalfJung/field-retag

RalfJung · web-flow · commit 31286bf99132 · 2024-02-26T08:26:03.000Z
field retagging has been the default for a while now
diff --git a/ci-test.sh b/ci-test.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -euo pipefail
 
-DEFAULTFLAGS="-Zmiri-retag-fields -Zrandomize-layout -Zmiri-strict-provenance"
+DEFAULTFLAGS="-Zrandomize-layout -Zmiri-strict-provenance"
 
 # apply our patch
 rm -rf rust-src-patched
