Coccinelle release 1.0.0-rc3

[bpt/coccinelle.git] / popl09 / popltoctl.ml

diff --git a/popl09/popltoctl.ml b/popl09/popltoctl.ml
index a2a5c4a..6fe9963 100644 (file)
--- a/popl09/popltoctl.ml
+++ b/popl09/popltoctl.ml
@@ -236,4 +236,4 @@ and do_between_dots keep_wit ba term after =
 
 (* --------------------------------------------------------------------- *)
 
-let toctl sl = ctl_seq true ctl_true sl
+let toctl sl = Asttoctl2.CODE (ctl_seq true ctl_true sl)