Fixes #1

yaml · Sep 18, 2017 · 435ccb2 · 435ccb2
1 parent f6f0fb8
commit 435ccb2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/text/src/interface/text-pool.ads b/text/src/interface/text-pool.ads
@@ -23,7 +23,8 @@ package Text.Pool is
 private
    type Reference is new Ada.Finalization.Controlled with record
       Data : Pool_Data_Access;
-   end record with Type_Invariant => Reference.Data.Pos mod Header_Size = 1;
+   end record with Type_Invariant =>
+     (Reference.Data = null or else Reference.Data.Pos mod Header_Size = 1);
 
    overriding procedure Adjust (Object : in out Reference);
    overriding procedure Finalize (Object : in out Reference);