diff options
Diffstat (limited to 'rts/include/rts/Flags.h')
| -rw-r--r-- | rts/include/rts/Flags.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/rts/include/rts/Flags.h b/rts/include/rts/Flags.h index 11e7bfdaa7..e8298023de 100644 --- a/rts/include/rts/Flags.h +++ b/rts/include/rts/Flags.h @@ -54,8 +54,6 @@ typedef struct _GC_FLAGS { double pcFreeHeap; bool useNonmoving; // default = false - bool nonmovingSelectorOpt; // Do selector optimization in the - // non-moving heap, default = false uint32_t generations; bool squeezeUpdFrames; |