diff --git a/copilot-sbv.cabal b/copilot-sbv.cabal
--- a/copilot-sbv.cabal
+++ b/copilot-sbv.cabal
@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-sbv
-version                   : 2.1.1
+version                   : 2.1.2
 synopsis                  : A compiler for CoPilot targeting SBV.
 description               :
   The Copilot back-end targeting SBV <http://hackage.haskell.org/package/sbv>.
@@ -38,8 +38,8 @@
   ghc-options             : -Wall -fwarn-tabs
   ghc-prof-options        : -auto-all -caf-all
 
-  build-depends           : sbv >= 2.4
-                          , base >= 4.0 && <= 5.0
+  build-depends           : sbv >= 2.1
+                          , base >= 4.0 && < 5
                           , containers >= 0.4
                           , copilot-core >= 0.2.4
                           , pretty >= 1
diff --git a/src/Copilot/Compile/SBV/Code.hs b/src/Copilot/Compile/SBV/Code.hs
--- a/src/Copilot/Compile/SBV/Code.hs
+++ b/src/Copilot/Compile/SBV/Code.hs
@@ -37,7 +37,7 @@
 --------------------------------------------------------------------------------
 
 updateStates :: MetaTable -> C.Spec -> [SBVFunc]
-updateStates meta (C.Spec streams _ _) =
+updateStates meta (C.Spec streams _ _ _) =
   map updateStreamState streams
 
   where
@@ -63,7 +63,7 @@
 --------------------------------------------------------------------------------
 
 updateObservers :: MetaTable -> C.Spec -> [SBVFunc]
-updateObservers meta (C.Spec _ observers _) =
+updateObservers meta (C.Spec _ observers _ _) =
   map updateObs observers
 
   where
@@ -85,7 +85,7 @@
 --------------------------------------------------------------------------------
 
 fireTriggers :: MetaTable -> C.Spec -> [SBVFunc]
-fireTriggers meta (C.Spec _ _ triggers) =
+fireTriggers meta (C.Spec _ _ triggers _) =
   concatMap fireTrig triggers
 
   where
diff --git a/src/Copilot/Compile/SBV/Driver.hs b/src/Copilot/Compile/SBV/Driver.hs
--- a/src/Copilot/Compile/SBV/Driver.hs
+++ b/src/Copilot/Compile/SBV/Driver.hs
@@ -53,7 +53,7 @@
 --------------------------------------------------------------------------------
 
 driver :: Params -> MetaTable -> C.Spec -> String -> String -> IO ()
-driver params meta (C.Spec streams observers _) dir fileName = do
+driver params meta (C.Spec streams observers _ _) dir fileName = do
   let filePath = dir ++ '/' : driverName params
   h <- I.openFile filePath I.WriteMode
   let wr doc = I.hPutStrLn h (mkStyle doc)