From 023c11470e32744a43b7e3c7c248f3c47ebdc687 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
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/odf.ml')

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