diff options
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 << ", "; |