[fix] stdlib/xhtml: Xml.fold was wrongly specialized to xhtml type

MLstate · Sep 7, 2011 · f0c5cfd · f0c5cfd
1 parent c2a7bc2
commit f0c5cfd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/stdlib/core/xhtml/xhtml.opa b/stdlib/core/xhtml/xhtml.opa
@@ -465,8 +465,8 @@ Xml =
    *  @param the first element of the fold
    *  @param the xml to fold
    */
-  fold(fun:(xml('a, 'b), 'c -> 'c), seed:'c, xhtml:xhtml): 'c =
-    match xhtml with
+  fold(fun:(xml('a, 'b), 'c -> 'c), seed:'c, xml:xml): 'c =
+    match xml with
     | { text=_ }
     | { content_unsafe=_ }
     | { xml_dialect=_ } -> seed