--- a/src/Pure/ProofGeneral/pgip_markup.ML Tue Jul 17 16:06:13 2007 +0200
+++ b/src/Pure/ProofGeneral/pgip_markup.ML Tue Jul 17 16:14:42 2007 +0200
@@ -81,7 +81,7 @@
opt_attr "metavarid" (#metavarid vs),
[])
- | Closeblock vs =>
+ | Closeblock _ =>
XML.Elem("closeblock", [], [])
| Opentheory vs =>
@@ -156,8 +156,8 @@
fun unparse_elt docelt =
case docelt of
- Openblock vs => ""
- | Closeblock vs => ""
+ Openblock _ => ""
+ | Closeblock _ => ""
| Opentheory vs => #text vs
| Theoryitem vs => #text vs
| Closetheory vs => #text vs