--- mathml.ml.orig	2003-01-30 07:20:05.000000000 +0100
+++ mathml.ml	2003-01-30 07:23:35.000000000 +0100
@@ -9,7 +9,8 @@
   | otr,TEX_LITERAL(MHTMLABLEC(_,_,_,MO,a))::itr -> make_mathml_tree(TREE_MO a::otr,itr)
   | otr,TEX_LITERAL(MHTMLABLEC(_,_,_,MI,a))::itr -> make_mathml_tree(TREE_MI a::otr,itr)
   | otr,TEX_CURLY(crl)::itr -> make_mathml_tree(otr,crl@itr)
-  | otr,_ -> List.rev otr
+  | otr,[] -> List.rev otr
+  | _ -> failwith "failed to render mathml"
 
 let render_mathml_tree = function
     TREE_MN s -> "<mn>"^s^"</mn>"