From 6de1d620529ba16f5cb89588755de3cc6cd5b45b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 4 Sep 2008 08:26:27 +0000 Subject: [PATCH] hbox => hvbox in constructor arguments in match patterns. --- helm/software/components/content_pres/termContentPres.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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' = -- 2.39.2