diff --git a/plugins/hls-tactics-plugin/README.md b/plugins/hls-tactics-plugin/README.md index c5bff73768..b8102a952a 100644 --- a/plugins/hls-tactics-plugin/README.md +++ b/plugins/hls-tactics-plugin/README.md @@ -56,8 +56,6 @@ nnoremap ]h :call JumpToNextHole() " d to perform a pattern match, n to fill a hole nnoremap d :set operatorfunc=WingmanDestructg@l nnoremap n :set operatorfunc=WingmanFillHoleg@l - -" beta only nnoremap r :set operatorfunc=WingmanRefineg@l nnoremap c :set operatorfunc=WingmanUseCtorg@l nnoremap a :set operatorfunc=WingmanDestructAllg@l diff --git a/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs b/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs index 7b226abb6f..190a654a31 100644 --- a/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs +++ b/plugins/hls-tactics-plugin/src/Wingman/FeatureSet.hs @@ -49,7 +49,9 @@ parseFeatureSet -- | Features that are globally enabled for all users. defaultFeatures :: FeatureSet defaultFeatures = S.fromList - [ + [ FeatureDestructAll + , FeatureUseDataCon + , FeatureRefineHole ]