1 files changed, 8 insertions, 5 deletions
diff --git a/src/synth/synth-environment-debug.adb b/src/synth/synth-environment-debug.adb
index 81e8b17af..3278e8ba9 100644
--- a/src/synth/synth-environment-debug.adb
+++ b/src/synth/synth-environment-debug.adb
@@ -84,11 +84,14 @@ package body Synth.Environment.Debug is
          New_Line;
       end;
       Put_Line (" value:");
-      if Rec.Val.Is_Static then
-         Put_Line ("   static");
-      else
-         Dump_Partial_Assign (Rec.Val.Asgns);
-      end if;
+      case Rec.Val.Is_Static is
+         when Unknown =>
+            Put_Line ("   ??? (unknown)");
+         when True =>
+            Put_Line ("   static");
+         when False =>
+            Dump_Partial_Assign (Rec.Val.Asgns);
+      end case;
    end Dump_Assign;
 
    procedure Dump_Phi (Id : Phi_Id)