From f05a43bbce85d50b25ab9eba2a15e1fec640133e Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 16 Nov 2018 20:21:21 +0100
Subject: errorout: add %s to display strings.

---
 src/types.ads | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/types.ads')

diff --git a/src/types.ads b/src/types.ads
index 519ff94ee..876b3ca01 100644
--- a/src/types.ads
+++ b/src/types.ads
@@ -83,6 +83,13 @@ package Types is
 
    Null_String8 : constant String8_Id := 0;
 
+   --  The length of a string is not stored in the string table.  Create a
+   --  tuple that is meaningful.
+   type String8_Len_Type is record
+      Str : String8_Id;
+      Len : Nat32;
+   end record;
+
    --  Index type is the source file table.
    --  This table is defined in the files_map package.
    type Source_File_Entry is new Uns32;
-- 
cgit v1.2.3