X-Git-Url: https://git.artsoft.org/?p=rocksndiamonds.git;a=blobdiff_plain;f=src%2Fmain.c;h=f1ea104e361ad855d33dc45b9977f49fb2bac73f;hp=5acf09fe627d151743b3beb5362c25cde2ce455d;hb=a312d80612bb9a448cdc1abbde690b296fa92b17;hpb=5b56a3369f281d29bbc45ec85443b1c3b2c27323

diff --git a/src/main.c b/src/main.c
index 5acf09fe..f1ea104e 100644
--- a/src/main.c
+++ b/src/main.c
@@ -5509,16 +5509,6 @@ struct MusicPrefixInfo music_prefix_info[NUM_MUSIC_PREFIXES + 1] =
 /* main()                                                                    */
 /* ========================================================================= */
 
-static unsigned long get_cmd_switch(char *switch_string)
-{
-  unsigned long switch_value = 0;
-
-  if (strEqual(switch_string, "load_xsb_to_ces"))
-    switch_value = CMD_SWITCH_LOAD_XSB_TO_CES;
-
-  return switch_value;
-}
-
 static void print_usage()
 {
   printf("\n"
@@ -5567,7 +5557,7 @@ int main(int argc, char *argv[])
   InitExitFunction(CloseAllAndExit);
   InitPlatformDependentStuff();
 
-  GetOptions(argv, print_usage, get_cmd_switch);
+  GetOptions(argv, print_usage);
   OpenAll();
 
   EventLoop();