Correction warning + correction gauditext jamais fermé

NilsKrattinger · Jan 24, 2019 · e6ecd8d · e6ecd8d
1 parent 66a0865
commit e6ecd8d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/p_jeu.adb b/p_jeu.adb
@@ -20,6 +20,8 @@ package body p_jeu is
           accept fermer do -- On rend le chrono inutilisable
             fin := true;
           end fermer;
+        or
+          terminate;
         end select;
       else
         select

diff --git a/p_jeu.ads b/p_jeu.ads
@@ -29,7 +29,7 @@ package p_jeu is
   dernier : string(1..14);
   pseudo: string(1..20);
 
-  tempsRestant : duration;
+  tempsRestant : duration := 0.0;
   jeuEnCours : boolean := false;
   chrono : T_Chrono;
 

diff --git a/p_vue_graph.adb b/p_vue_graph.adb
@@ -18,6 +18,8 @@ package body p_vue_graph is
           accept fermer do
             fin := true;
           end fermer;
+        or
+          terminate;
         end select;
       else
         select