From 1a55e15e7665fb7cba47727454ce63d472445582 Mon Sep 17 00:00:00 2001 From: xxsoca Date: Tue, 20 Jun 2023 10:01:18 +0200 Subject: [PATCH] error in process_choose_units --- gui.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui.pl b/gui.pl index fe77395..1c3bff3 100644 --- a/gui.pl +++ b/gui.pl @@ -19,7 +19,7 @@ process_choose_units(P1U1, P1U2, P1U3, P2U1, P2U2, P2U3) :- get(P2U2, selection, Text2U2), get(P2U3, selection, Text2U3), init_player1(Text1U1, Text1U2, Text1U3), - init_player2(Text2U1, Text2U2, Text2U3), + init_player2(Text2U1, Text2U2, Text2U3). process_choose_units_1(U1, U2, U3) :- get(U1, selection, Text1),