From 2b929db84c91d8f112202b16ba7992b55a395608 Mon Sep 17 00:00:00 2001
From: Pietro Di Lena <pietro.dilena@unibo.it>
Date: Mon, 25 Nov 2002 18:16:51 +0000
Subject: [PATCH] Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind
 definition

---
 helm/meta_style/set.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/helm/meta_style/set.xml b/helm/meta_style/set.xml
index 5b2ca768f..a84c5c274 100644
--- 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>
 
-- 
2.39.2