From 4bed90caa385e5798593ae7c7fefd1aa18f2706f Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Wed, 17 Apr 2024 18:10:11 +0200
Subject: [PATCH] Change project file of ping example

Ref. None
---
 examples/apps/ping/ping.gpr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/apps/ping/ping.gpr b/examples/apps/ping/ping.gpr
index 57dae5d6e..3d158f9a7 100644
--- a/examples/apps/ping/ping.gpr
+++ b/examples/apps/ping/ping.gpr
@@ -2,7 +2,7 @@ with "../../../defaults";
 
 project Ping is
 
-   for Languages use ("RecordFlux", "Python3", "Ada", "C");
+   for Languages use ("RecordFlux", "Python", "Ada", "C");
    for Source_Dirs use (".", "specs", "generated", "src", "contrib");
    for Object_Dir use "obj";
    for Create_Missing_Dirs use "True";
@@ -10,12 +10,12 @@ project Ping is
 
    package Compiler is
       for Driver ("RecordFlux") use "";
-      for Driver ("Python3") use "";
+      for Driver ("Python") use "";
    end Compiler;
 
    package Naming is
       for Spec_Suffix ("RecordFlux") use ".rflx";
-      for Spec_Suffix ("Python3") use ".py";
+      for Body_Suffix ("Python") use ".py";
    end Naming;
 
    package RecordFlux is