From c4cab444ad49a97070032dd5e6bee2c528c44230 Mon Sep 17 00:00:00 2001 From: Carlosokumu Date: Thu, 20 Feb 2025 21:26:53 +0300 Subject: [PATCH] repeat same node on invalid input --- services/registration/others_pin_mismatch.vis | 1 + 1 file changed, 1 insertion(+) diff --git a/services/registration/others_pin_mismatch.vis b/services/registration/others_pin_mismatch.vis index 37b3deb..b2421aa 100644 --- a/services/registration/others_pin_mismatch.vis +++ b/services/registration/others_pin_mismatch.vis @@ -3,3 +3,4 @@ MOUT quit 9 HALT INCMP _ 1 INCMP quit 9 +INCMP . *