aboutsummaryrefslogtreecommitdiff
path: root/odf
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2016-11-21 17:06:19 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-01-01 13:30:43 +0100
commit023c11470e32744a43b7e3c7c248f3c47ebdc687 (patch)
tree832e04c2923295d5adf61e58d9a333afb5b26c77 /odf
parentef312564ca84a2b49fc291434d8fb2f8501bb618 (diff)
Use gadt for function catalog
Diffstat (limited to 'odf')
-rwxr-xr-xodf/odf.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/odf/odf.ml b/odf/odf.ml
index cfbd964..df98adb 100755
--- a/odf/odf.ml
+++ b/odf/odf.ml
@@ -154,7 +154,6 @@ let write_basic attrs output = begin function
write_num ((NS.value_attr, value)::attrs) output value
| ScTypes.Str s -> write_str attrs output (UTF8.to_utf8string s)
| ScTypes.Bool b -> write_bool attrs output (string_of_bool b)
- | ScTypes.List l -> write_error attrs output ""
| ScTypes.Date d ->
let value = Tools.Date.to_string d in
write_date ((NS.date_value_attr, value)::attrs) output value