From 6f670d7ab6bb12705e8c7dac7cb3c354d6e275b1 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 30 Dec 2005 12:17:25 +0000
Subject: [PATCH] - In xml output, renamed 'attack' tag to 'state', which in
 general   reflects better what it describes.

---
 src/xmlout.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/xmlout.c b/src/xmlout.c
index 721cd85..78ecade 100644
--- a/src/xmlout.c
+++ b/src/xmlout.c
@@ -925,7 +925,7 @@ xmlOutSemitrace (const System sys)
   Term buffer_only_claim_label;
 
   xmlIndentPrint ();
-  eprintf ("<attack");
+  eprintf ("<state");
   /* add trace length attribute */
   /* Note that this is the length of the attack leading up to the broken
    * claim, thus without any run extensions (--extend-nonreads).
@@ -961,7 +961,7 @@ xmlOutSemitrace (const System sys)
   xmlindent--;
   xmlPrint ("</semitrace>");
   xmlindent--;
-  xmlPrint ("</attack>");
+  xmlPrint ("</state>");
 
   /* restore only claim buffer */
   only_claim_label = buffer_only_claim_label;