From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 4 Sep 2008 08:26:27 +0000 (+0000)
Subject: hbox => hvbox in constructor arguments in match patterns.
X-Git-Tag: make_still_working~4825
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6de1d620529ba16f5cb89588755de3cc6cd5b45b;p=helm.git

hbox => hvbox in constructor arguments in match patterns.
---

diff --git a/helm/software/components/content_pres/termContentPres.ml b/helm/software/components/content_pres/termContentPres.ml
index bffd18976..29845af1d 100644
--- a/helm/software/components/content_pres/termContentPres.ml
+++ b/helm/software/components/content_pres/termContentPres.ml
@@ -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' =