- # let reset body = let p = Delimcc.new_prompt () in
- let oldp = !reset_label in
- reset_label := Some p; let res = Delimcc.push_prompt p body in
- reset_label := oldp; res;;
+ # let reset body =
+ let p = Delimcc.new_prompt () in
+ let oldp = !reset_label in
+ reset_label := Some p; let res = Delimcc.push_prompt p body in
+ reset_label := oldp; res;;