1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/synth-values-debug.adb b/src/synth/synth-values-debug.adb
index f43a71ea2..ca289fbdd 100644
--- a/src/synth/synth-values-debug.adb
+++ b/src/synth/synth-values-debug.adb
@@ -78,6 +78,8 @@ package body Synth.Values.Debug is
             Put ("unbounded vector");
          when Type_Unbounded_Array =>
             Put ("unbounded array");
+         when Type_Protected =>
+            Put ("protected");
       end case;
    end Debug_Typ1;
 
@@ -141,6 +143,8 @@ package body Synth.Values.Debug is
             Put ("unbounded vector");
          when Type_Unbounded_Array =>
             Put ("unbounded array");
+         when Type_Protected =>
+            Put ("protected");
       end case;
       New_Line;
    end Debug_Memtyp;