1 files changed, 6 insertions, 1 deletions
diff --git a/src/synth/synth-debugger.adb b/src/synth/synth-debugger.adb
index e5746ba75..d3b27d367 100644
--- a/src/synth/synth-debugger.adb
+++ b/src/synth/synth-debugger.adb
@@ -21,7 +21,7 @@
 with Types; use Types;
 
 package body Synth.Debugger is
-   procedure Debug_Init is
+   procedure Debug_Init (Top : Node) is
    begin
       null;
    end Debug_Init;
@@ -31,6 +31,11 @@ package body Synth.Debugger is
       raise Internal_Error;
    end Debug_Break;
 
+   procedure Debug_Leave (Inst : Synth_Instance_Acc) is
+   begin
+      raise Internal_Error;
+   end Debug_Leave;
+
    procedure Debug_Error (Inst : Synth_Instance_Acc; Expr : Node) is
    begin
       null;