mirror of
https://github.com/AdaCore/gprbuild.git
synced 2026-02-12 12:30:13 -08:00
bd096bfe99
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gprmake@43597 936e1b1b-40f2-da11-902a-00137254ae57
9 lines
249 B
Ada
9 lines
249 B
Ada
with Ada.Text_IO; use Ada.Text_IO;
|
|
package body Animals is
|
|
function Vaccination_Expired (A : Vaccinated_Dog) return Boolean is
|
|
begin
|
|
Put_Line (" In Ada: Vaccination_Expired");
|
|
return False;
|
|
end Vaccination_Expired;
|
|
end Animals;
|