X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtraction-prefix.hs;h=fbdae9b8a3bda98b5cae54c717953360cefb1845;hp=fbe22cb074eb5d340efd28a5d282c999f991d858;hb=2687d521f657ca4d21b36ac25edc4c50e02cbfeb;hpb=9ae7c0c0ae44417d2171487376ae66dc9eaad20a

diff --git a/src/Extraction-prefix.hs b/src/Extraction-prefix.hs
index fbe22cb..fbdae9b 100644
--- a/src/Extraction-prefix.hs
+++ b/src/Extraction-prefix.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fno-warn-unused-matches -fno-warn-unused-binds #-}
 module CoqPass ( coqPassCoreToString, coqPassCoreToCore )
 where
 import qualified Unique