diff --git a/cabal.project b/cabal.project
index d63a285..8eaeb70 100644
--- a/cabal.project
+++ b/cabal.project
@@ -1,5 +1,6 @@
 packages: .
 
+
 source-repository-package
     type: git
     location: https://github.com/ucsd-progsys/liquidhaskell
diff --git a/lh-plugin-demo.cabal b/lh-plugin-demo.cabal
index 1357938..681efe4 100644
--- a/lh-plugin-demo.cabal
+++ b/lh-plugin-demo.cabal
@@ -33,4 +33,4 @@ library
       liquid-base,
       liquid-containers
   default-language: Haskell2010
-  ghc-options: -fplugin=LiquidHaskell
+  -- ghc-options: -fplugin=LiquidHaskell
diff --git a/src/Demo/Client.hs b/src/Demo/Client.hs
index 6c25c58..9ea75c2 100644
--- a/src/Demo/Client.hs
+++ b/src/Demo/Client.hs
@@ -1,3 +1,5 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
+
 {-@ LIQUID "--reflection"     @-}
 {-@ LIQUID "--ple"            @-}
 {-@ LIQUID "--no-termination" @-}
@@ -23,4 +25,3 @@ testProof :: Proof
 testProof =
   test A ==. Just True
   *** QED
-
diff --git a/src/Demo/Erase.hs b/src/Demo/Erase.hs
index 64e115d..46eed6e 100644
--- a/src/Demo/Erase.hs
+++ b/src/Demo/Erase.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
 {-@ LIQUID "--reflection" @-}
 {-@ LIQUID "--ple"        @-}
 
diff --git a/src/Demo/Lib.hs b/src/Demo/Lib.hs
index d08929b..108e721 100644
--- a/src/Demo/Lib.hs
+++ b/src/Demo/Lib.hs
@@ -1,3 +1,5 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
+
 module Demo.Lib where
 
 import Data.Set