diff options
Diffstat (limited to 'src/grt/grt-wave_opt_file-parse.ads')
| -rw-r--r-- | src/grt/grt-wave_opt_file-parse.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/grt-wave_opt_file-parse.ads b/src/grt/grt-wave_opt_file-parse.ads index 9278c37e2..a0e4ac74b 100644 --- a/src/grt/grt-wave_opt_file-parse.ads +++ b/src/grt/grt-wave_opt_file-parse.ads @@ -38,7 +38,7 @@ private Buf_Size : constant := 1024; - Line_Context : Line_Context_Acc; + Path_Context : Path_Context_Acc; Tree_Cursor, Previous_Tree_Cursor : Elem_Acc; |