Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind definition

diff --git a/helm/meta_style/set.xml b/helm/meta_style/set.xml
index 5b2ca768fb7b3d8f90ba8c53fb5e383d420f5508..a84c5c274b0ff6a129663ccbd0b4bc451082b016 100644 (file)
--- a/helm/meta_style/set.xml
+++ b/helm/meta_style/set.xml
@@ -42,7 +42,8 @@
 
 <Operator
  name  = "EMPTY SET"
- uri   = "cic:/Coq/Sets/Ensembles/Empty_set.ind">
+ uri   = "cic:/Coq/Sets/Ensembles/Empty_set.ind"
+ cook  = "true">
        <mop tag="set" helm:xref="$APP-ID"/>
 </Operator>