diff --git a/Language/Symantics1.hs b/Language/Symantics1.hs
--- a/Language/Symantics1.hs
+++ b/Language/Symantics1.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE Rank2Types, GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE NoMonomorphismRestriction, EmptyDataDecls  #-}
 
--- This is the Haskell version of symantics1.ml, for comparison
+-- | This is the Haskell version of symantics1.ml, for comparison
 -- ACG with a more expressive semantic lexicon that includes
 -- multi-prompt delimited continuations and the notion of evaluation.
 -- Types are considered as a mere approximation rather than
@@ -10,12 +10,13 @@
 --
 -- * <http://okmij.org/ftp/gengo/index.html#CAG>
 --
-
 module Language.Symantics1 where
 
 -- Part of the Dybvig, Sabry, Peyton-Jones' library
 -- for multi-prompt delimited control
-import CC_Frame -- ed. I don't know where this is.
+-- import CC_Frame -- ed. Oleg uses CC_Frame, available in the CC-delcont package now
+--
+import Control.Monad.CC
 import Control.Monad.Reader
 
 -- The abstract form, to be interpreted in several ways.
@@ -209,7 +210,7 @@
 
 
 shiftP :: Prompt r b -> ((a -> CC r b) -> CC r b) -> CC r a
-shiftP p f = letSubCont p $ \sk -> 
+shiftP p f = withSubCont p $ \sk -> 
                pushPrompt p (f (\v -> 
                  pushPrompt p (pushSubCont sk (return v))))
 
diff --git a/liboleg.cabal b/liboleg.cabal
--- a/liboleg.cabal
+++ b/liboleg.cabal
@@ -1,5 +1,5 @@
 name:           liboleg
-version:        2010.1.6
+version:        2010.1.6.1
 license:        BSD3
 license-file:   LICENSE
 author:         Oleg Kiselyov
@@ -14,11 +14,12 @@
 
 library
     build-depends:
-            base < 4,
+            base >= 2 && < 4,
             containers,
             mtl,
             unix,
-            template-haskell
+            template-haskell,
+            CC-delcont
 
     exposed-modules:
             Data.FDList
@@ -53,6 +54,7 @@
             Language.CPS
             Language.CB98
             Language.LinearLC
+            Language.Symantics1
             Language.TTF
             Language.TTFdB
             Language.TDPE