diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2016-11-21 17:06:19 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-01-01 13:30:43 +0100 |
| commit | 023c11470e32744a43b7e3c7c248f3c47ebdc687 (patch) | |
| tree | 832e04c2923295d5adf61e58d9a333afb5b26c77 /odf/odf.ml | |
| parent | ef312564ca84a2b49fc291434d8fb2f8501bb618 (diff) | |
Use gadt for function catalog
Diffstat (limited to 'odf/odf.ml')
| -rwxr-xr-x | odf/odf.ml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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
|