Re: SPARK and Interfaces.C

[ich_bin_elvis@hotmail.com]

You were corret about the above my fault so thanks for seeing that. One
more question and I hope this is the last for my concern for awhile.
Pragma Import is it okay to use that or is it best to use --#hide

procedure AdaInit;
   pragma Import (C, AdaInit, "adainit");
   --  initialize Ada runtime library

   procedure AdaFinal;
   pragma Import (C, AdaFinal, "adafinal");
   --  finalize Ada runtime library

adainit and adafinal is not in the adb file since those are imported so
I get an error. what is done in the real world concerning pragma
imports?? pragma export is ingored by the examiner but this is not the
case for ada import

Ronny