diff options
Diffstat (limited to 'src/grt/grt-readline.ads')
-rw-r--r-- | src/grt/grt-readline.ads | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/grt/grt-readline.ads b/src/grt/grt-readline.ads index 6d4903e02..5eb1b5c7f 100644 --- a/src/grt/grt-readline.ads +++ b/src/grt/grt-readline.ads @@ -1,17 +1,12 @@ -- Although being part of GRT, the readline binding should be independent of -- it (for easier reuse). -with System; use System; with Grt.Types; use Grt.Types; package Grt.Readline is function Readline (Prompt : Ghdl_C_String) return Ghdl_C_String; - function Readline (Prompt : Address) return Ghdl_C_String; pragma Import (C, Readline); - procedure Free (Buf : Ghdl_C_String); - pragma Import (C, Free); - procedure Add_History (Line : Ghdl_C_String); pragma Import (C, Add_History); |