@@ -191,7 +191,9 @@ blockToTexinfo (Header level lst) = do
191 seccmd _ = error "illegal seccmd level"
191 seccmd _ = error "illegal seccmd level"
193blockToTexinfo (Table caption aligns widths heads rows) = do
193blockToTexinfo (Table caption aligns widths heads rows) = do
194+ headers <- if all null heads
194− headers <- tableHeadToTexinfo aligns heads
196+ else tableHeadToTexinfo aligns heads
195 captionText <- inlineListToTexinfo caption
197 captionText <- inlineListToTexinfo caption
196 rowsText <- mapM (tableRowToTexinfo aligns) rows
198 rowsText <- mapM (tableRowToTexinfo aligns) rows
197 colDescriptors <-
199 colDescriptors <-