Change project file of ping example

Ref. None
AdaCore · Apr 17, 2024 · 4bed90c · 4bed90c
1 parent 0d30490
commit 4bed90c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/examples/apps/ping/ping.gpr b/examples/apps/ping/ping.gpr
@@ -2,20 +2,20 @@ 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";
    for Main use ("ping.adb");
 
    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