From 023c11470e32744a43b7e3c7c248f3c47ebdc687 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 21 Nov 2016 17:06:19 +0100 Subject: Use gadt for function catalog --- odf/odf.ml | 1 - 1 file changed, 1 deletion(-) (limited to 'odf') 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 -- cgit v1.2.3