X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftools%2Fmiri%2Fsrc%2Feval.rs;h=a3fc343f8b67ce5c24554760c1135876260d6e50;hb=0b3e75e1cdc8d56fc5540e17450d96228b26e268;hp=b211f3c5f7133f43402ce956994810cae8d954bf;hpb=fa0ca783f89a83046e6ce0383385ba5b28296435;p=rust.git

diff --git a/src/tools/miri/src/eval.rs b/src/tools/miri/src/eval.rs
index b211f3c5f71..a3fc343f8b6 100644
--- a/src/tools/miri/src/eval.rs
+++ b/src/tools/miri/src/eval.rs
@@ -126,7 +126,7 @@ pub struct MiriConfig {
     /// Report the current instruction being executed every N basic blocks.
     pub report_progress: Option<u32>,
     /// Whether Stacked Borrows retagging should recurse into fields of datatypes.
-    pub retag_fields: bool,
+    pub retag_fields: RetagFields,
     /// The location of a shared object file to load when calling external functions
     /// FIXME! consider allowing users to specify paths to multiple SO files, or to a directory
     pub external_so_file: Option<PathBuf>,
@@ -163,7 +163,7 @@ fn default() -> MiriConfig {
             mute_stdout_stderr: false,
             preemption_rate: 0.01, // 1%
             report_progress: None,
-            retag_fields: false,
+            retag_fields: RetagFields::No,
             external_so_file: None,
             gc_interval: 10_000,
             num_cpus: 1,