diff --git a/src/options.c b/src/options.c
index c1c95c69e..ecb0d773b 100644
--- a/src/options.c
+++ b/src/options.c
@@ -4134,14 +4134,12 @@ boolean tinitial, tfrom_file;
         }
     }
 
-#if 0
     /* Is it a symbol? */
     if (strstr(opts, "S_") == opts && parsesymbols(opts, PRIMARY)) {
         switch_symbols(TRUE);
         check_gold_symbol();
         return retval;
     }
-#endif
 
     /* out of valid options */
     config_error_add("Unknown option '%s'", opts);