give new answer variables readable names (#279)

This commit is contained in:
Mark Thom
2020-03-13 02:40:06 -06:00
parent 4c88e97330
commit 698b01f85a
2 changed files with 69 additions and 34 deletions

View File

@@ -2707,7 +2707,7 @@ impl MachineState {
}
}
printer.var_names = var_names;
printer.set_var_names(var_names);
}
Err(err) => return Err(err),
}