diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-05-21 22:19:28 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-05-21 22:19:28 -0700 |
commit | 5e320aa049bc1d5ad78eec23be0127f4a8d6ec3d (patch) | |
tree | d42176acdef4691f62f300cb0df928061077a900 /010vm.cc | |
parent | 829fcd8374ea9029119bb37c42aeecf53523995c (diff) | |
download | mu-5e320aa049bc1d5ad78eec23be0127f4a8d6ec3d.tar.gz |
3876
Thanks Ella Couch for reporting this issue.
Diffstat (limited to '010vm.cc')
-rw-r--r-- | 010vm.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/010vm.cc b/010vm.cc index 2dddf9ee..50cb4215 100644 --- a/010vm.cc +++ b/010vm.cc @@ -636,6 +636,7 @@ string debug_string(const recipe& x) { string to_original_string(const instruction& inst) { if (inst.is_label) return inst.label; + if (!inst.original_string.empty()) return inst.original_string; ostringstream out; for (int i = 0; i < SIZE(inst.products); ++i) { if (i > 0) out << ", "; |