Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-22 19:31:17 -0800 (Tue, 22 Mar 2005)
Revision: 7008
Log message:
This was pretty hard one to find out!
Turned out that we had two different TailCPS operators - one was defined in
mmc_core_cps.ml and one was declared in mmc_core_cps_grammar.mli!
I rolled the CPS grammars from separate
mmc_core_cps_grammar/mmc_core_cps_private back into single mmc_core_cps
module.