Skip to content

Wrong comment for FILE_ORIGIN_KIND

On page 303 of the 2019 LRM the definition for FILE_ORIGIN_KIND is:

type FILE_ORIGIN_KIND is (
   FILE_ORIGIN_BEGIN,   -- File open was successful.
   FILE_ORIGIN_CURRENT, -- File object was already open.
   FILE_ORIGIN_END      -- External file not found
);

The comments have no relation to the enumeration values.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information