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

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