Fix a warning

Author: michaelpj

plugins/hls-tactics-plugin/old/src/Wingman/Context.hs

@@ -1,4 +1,8 @@
 {-# LANGUAGE CPP #-}
+-- Some versions of GHC report this in this module.
+-- Just turning this off since it's the old source and should
+-- go away eventually
+{-# OPTIONS_GHC -Wno-overlapping-patterns #-}
 
 module Wingman.Context where