summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/deriving-ocsigen/metadata.xml')
-rw-r--r--dev-ml/deriving-ocsigen/metadata.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/deriving-ocsigen/metadata.xml b/dev-ml/deriving-ocsigen/metadata.xml
index 009b874f943c..d03028baab6f 100644
--- a/dev-ml/deriving-ocsigen/metadata.xml
+++ b/dev-ml/deriving-ocsigen/metadata.xml
@@ -3,6 +3,6 @@
<pkgmetadata>
<herd>ml</herd>
<use>
- <flag name='type-conv'>Enable type-conv for the syntax extention.</flag>
+ <flag name="type-conv">Enable type-conv for the syntax extention.</flag>
</use>
</pkgmetadata>