Skip to content

Commit 8548b98

Browse files
committed
rcll: also print game info again when resetting
1 parent 5e1fffd commit 8548b98

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/games/rcll/game.clp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -380,6 +380,10 @@
380380
(do-for-fact ((?mp machines-printed)) TRUE
381381
(retract ?mp)
382382
)
383+
; Print game info again
384+
(do-for-fact ((?gp game-printed)) TRUE
385+
(retract ?gp)
386+
)
383387
)
384388

385389
(defrule game-reset

0 commit comments

Comments
 (0)