diff --git a/services/registration/pin_management.vis b/services/registration/pin_management.vis index 196c1f5..ecd5a8c 100644 --- a/services/registration/pin_management.vis +++ b/services/registration/pin_management.vis @@ -4,4 +4,3 @@ MOUT guard_pin 3 MOUT back 0 HALT INCMP _ 0 -INCMP old_pin 1