]> matita.cs.unibo.it Git - helm.git/blobdiff - components/acic_procedural/proceduralTypes.ml
more informations on nodes, fixed a bug on conversion, we use ; instead of . whenever...
[helm.git] / components / acic_procedural / proceduralTypes.ml
index 2d3c915f7234e7ed8b7437086277ec4d77740d85..8a60f9658047118ad4c8c0ddc7b2dc4674d19326 100644 (file)
@@ -208,7 +208,7 @@ and render_steps sep a = function
    | p :: ((Branch (_ :: _ :: _, _) :: _) as ps) ->
       render_steps sep (render_step mk_sc a p) ps
    | p :: ps                                     ->
-      render_steps sep (render_step mk_dot a p) ps
+      render_steps sep (render_step mk_sc a p) ps
 
 let render_steps a = render_steps mk_dot a