1 files changed, 1 insertions, 1 deletions
diff --git a/010vm.cc b/010vm.cc
index 23f9d9d6..5b4b9a16 100644
--- a/010vm.cc
+++ b/010vm.cc
@@ -366,7 +366,7 @@ void dump_property(const string_tree* property, ostringstream& out) {
   if (property->right)
     dump_property(property->right, out);
   else
-    out << " : <>";
+    out << "<>";
   out << ">";
 }