diff --git a/stdlib/components/table/table.opa b/stdlib/components/table/table.opa index 10037363..ff05ee2d 100644 --- a/stdlib/components/table/table.opa +++ b/stdlib/components/table/table.opa @@ -1663,7 +1663,6 @@ CTable = {{ l = List.init(i ->i+pmin ,pmax-pmin+1) l = List.map(i -> <> - {if not(i == pmin) then " - " else ""} {if i == current_page then
  • {i}
  • else
  • {i}
  • }