Index: src/natools-smaz_generic.ads
==================================================================
--- src/natools-smaz_generic.ads
+++ src/natools-smaz_generic.ads
@@ -68,18 +68,11 @@
       Max_Word_Length : Positive;
       Offsets : Offset_Array
         (Dictionary_Code'Succ (Dictionary_Code'First) .. Last_Code);
       Values : String (1 .. Values_Last);
       Hash : not null access function (Value : String) return Natural;
-   end record
-     with Dynamic_Predicate =>
-           (for all Code in Dictionary.Offsets'Range
-            => Dictionary.Offsets (Code) in Dictionary.Values'Range)
-        and then (for all Code in Dictionary_Code'First .. Dictionary.Last_Code
-            => Code_Last (Dictionary.Offsets, Code, Dictionary.Values'Last) + 1
-               - Code_First (Dictionary.Offsets, Code, Dictionary.Values'First)
-               in 1 .. Dictionary.Max_Word_Length);
+   end record;
 
 
    function Code_First
      (Offsets : in Offset_Array;
       Code : in Dictionary_Code;