diff options
Diffstat (limited to 'lib/serialize.ml')
-rw-r--r-- | lib/serialize.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/serialize.ml b/lib/serialize.ml index 04405ac1b..3ad508d74 100644 --- a/lib/serialize.ml +++ b/lib/serialize.ml @@ -37,6 +37,8 @@ type 'a call = | Quit | About +type unknown + (** The structure that coqtop should implement *) type handler = { @@ -476,7 +478,7 @@ let of_answer (q : 'a call) (r : 'a value) = in of_value convert r -let to_answer xml = +let to_answer xml _ = let rec convert elt = match elt with | Element (tpe, attrs, l) -> begin match tpe with |