aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-values-debug.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-values-debug.ads')
-rw-r--r--src/synth/synth-values-debug.ads1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/synth-values-debug.ads b/src/synth/synth-values-debug.ads
index 8084b7ef6..991b68d40 100644
--- a/src/synth/synth-values-debug.ads
+++ b/src/synth/synth-values-debug.ads
@@ -21,4 +21,5 @@
package Synth.Values.Debug is
procedure Debug_Valtyp (V : Valtyp);
procedure Debug_Memtyp (M : Memtyp);
+ procedure Debug_Typ (T : Type_Acc);
end Synth.Values.Debug;