Settings: Rename INT/BOOL setting type enum to RB_INT/RB_BOOL

....Because INT and BOOL are already defined in mingw32.

Change-Id: I28ab8189c00002c8f68bc9d0c23d2ae78d9e33d0

1 files changed, 1 insertions, 1 deletions

diff --git a/apps/plugins/superdom.c b/apps/plugins/superdom.c
index 6969f76165..79a6d1a8f2 100644
--- a/apps/plugins/superdom.c
+++ b/apps/plugins/superdom.c
@@ -583,7 +583,7 @@ static int settings_menu(void)
                                                          };
             static int sel=1;
             rb->set_option("Computer difficulty", &sel,
-                           INT, difficulty_options, 3, NULL);
+                           RB_INT, difficulty_options, 3, NULL);
             superdom_settings.compdiff=sel+1;
             break;
         }