-
jpm@cs.ox.ac.uk authored
We were never really manipulating the EkCtxt after we had built it, so it's simpler to just pass the final SDoc.
4296552c
We were never really manipulating the EkCtxt after we had built it, so it's simpler to just pass the final SDoc.