1 files changed, 4 insertions, 0 deletions
diff --git a/src/value.cc b/src/value.cc
index 23da4263..c7cc77c8 100644
--- a/src/value.cc
+++ b/src/value.cc
@@ -1663,6 +1663,10 @@ void value_t::print(std::ostream&           out,
     out << as_string();
     break;
 
+  case MASK:
+    out << '/' << as_mask() << '/';
+    break;
+
   case SEQUENCE: {
     out << '(';
     bool first = true;