X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=8195a822fc98cefd0056e811b7e15f73a8a17059;hb=fea8c9e4b1ef4973aa577f29b59d35ee12472ebb;hp=04dd4a28cc8734d62c8a837118510c2de88eac5e;hpb=0f22eb9f85ca54f2545f64c43983c7d4a105420c;p=ghc-hetmet.git

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 04dd4a2..8195a82 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -619,8 +619,8 @@ addLocalInst home_ie ispec
 getOverlapFlag :: TcM OverlapFlag
 getOverlapFlag 
   = do 	{ dflags <- getDOpts
-	; let overlap_ok    = dopt Opt_AllowOverlappingInstances dflags
-	      incoherent_ok = dopt Opt_AllowIncoherentInstances  dflags
+	; let overlap_ok    = dopt Opt_OverlappingInstances dflags
+	      incoherent_ok = dopt Opt_IncoherentInstances  dflags
 	      overlap_flag | incoherent_ok = Incoherent
 			   | overlap_ok    = OverlapOk
 			   | otherwise     = NoOverlap