Use gadt for function catalog

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