]> matita.cs.unibo.it Git - helm.git/commitdiff
hbox => hvbox in constructor arguments in match patterns.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Sep 2008 08:26:27 +0000 (08:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Sep 2008 08:26:27 +0000 (08:26 +0000)
helm/software/components/content_pres/termContentPres.ml

index bffd189761651095760df44d24edaee55633716f..29845af1ded26666ec2467cd0e1bf22d17862364 100644 (file)
@@ -144,7 +144,7 @@ let pp_ast0 t k =
         let mk_case_pattern =
          function
             Ast.Pattern (head, href, vars) ->
-             hbox true false (ident_w_href href head :: List.map aux_var vars)
+             hvbox true false (ident_w_href href head :: List.map aux_var vars)
           | Ast.Wildcard -> builtin_symbol "_"
         in
         let patterns' =