diff options
Diffstat (limited to 'src/synth/synth-flags.ads')
| -rw-r--r-- | src/synth/synth-flags.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads index 163903ee7..4a85cb09a 100644 --- a/src/synth/synth-flags.ads +++ b/src/synth/synth-flags.ads @@ -26,4 +26,6 @@ package Synth.Flags is Flag_Debug_Nomemory : Boolean := False; Flag_Debug_Noexpand : Boolean := False; + + Flag_Trace_Statements : Boolean := False; end Synth.Flags; |