1 files changed, 9 insertions, 0 deletions
diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb
index 7bbc562ac..9eb6c324c 100644
--- a/src/synth/synth-values.adb
+++ b/src/synth/synth-values.adb
@@ -707,6 +707,15 @@ package body Synth.Values is
       end if;
    end Strip_Const;
 
+   function Strip_Const (Val : Value_Acc) return Value_Acc is
+   begin
+      if Val.Kind = Value_Const then
+         return Val.C_Val;
+      else
+         return Val;
+      end if;
+   end Strip_Const;
+
    function Copy (Src : Value_Acc) return Value_Acc;
 
    function Copy_Array (Arr : Value_Array_Acc) return Value_Array_Acc