diff options
Diffstat (limited to 'src/synth/synth-files_operations.ads')
| -rw-r--r-- | src/synth/synth-files_operations.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/synth-files_operations.ads b/src/synth/synth-files_operations.ads index 13852906e..a683e5022 100644 --- a/src/synth/synth-files_operations.ads +++ b/src/synth/synth-files_operations.ads @@ -32,4 +32,8 @@ package Synth.Files_Operations is (Syn_Inst : Synth_Instance_Acc; Decl : Node) return File_Index; function Endfile (F : File_Index; Loc : Syn_Src) return Boolean; + + procedure Synth_Untruncated_Text_Read (Syn_Inst : Synth_Instance_Acc; + Imp : Node; + Loc : Node); end Synth.Files_Operations; |