From 49f32e0a26f86e0d271da642c0ee3c16e08ef7d5 Mon Sep 17 00:00:00 2001
From: Florian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Date: Mon, 11 Oct 2004 09:55:19 +0000
Subject: [PATCH] Renamed 'return' to 'ret' -flo

[r4094]
---
 etc/effect.dtd | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/etc/effect.dtd b/etc/effect.dtd
index 3b52e2d25..7333af61b 100644
--- a/etc/effect.dtd
+++ b/etc/effect.dtd
@@ -32,7 +32,7 @@
 			%firm.entity;>
 
 <!-- a single effect -->
-<!ELEMENT  	effect (arg*, (load|store|alloc|call|join|unknown)*, raise?, return)>
+<!ELEMENT  	effect (arg*, (load|store|alloc|call|join|unknown)*, raise?, ret)>
 <!ATTLIST  	effect
 			procname	CDATA		#REQUIRED>
 
@@ -80,14 +80,17 @@
 <!ELEMENT	raise		(valref)>
 <!ATTLIST	raise		%firm.type;>
 
-<!-- return effect -->
-<!ELEMENT	return		(valref?)>
+<!-- ret effect -->
+<!ELEMENT	ret			(valref?)>
 
 <!--
 
  $Log$
+ Revision 1.6  2004/10/11 09:55:19  liekweg
+ Renamed 'return' to 'ret' -flo
+
  Revision 1.5  2004/10/05 16:19:04  liekweg
-  Grrr, CVS still messes up XML comments
+ Grrr, CVS still messes up XML comments
 
  Revision 1.4  2004/10/05 16:18:06  liekweg
  Grrr, CVS messes up XML comments
@@ -97,6 +100,7 @@
 
  Revision 1.2  2004/10/05 15:46:59  liekweg
  Added comment about this DTD's public location -flo
+
  Revision 1.1  2004/10/05 14:34:13  liekweg
  Added DTD for external effects description -flo
 
-- 
2.20.1