From 48574de13e740c112179f72bf216203c1df06cec Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 7 Sep 2005 07:21:13 +0000
Subject: [PATCH] - Minor improvement to type flaw output: now also shows the
 type of the   substituted term.

---
 src/xmlout.c | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/xmlout.c b/src/xmlout.c
index 7f3d62f..33477e3 100644
--- a/src/xmlout.c
+++ b/src/xmlout.c
@@ -381,6 +381,11 @@ xmlTermType (const Term t)
 }
 
 //! Show a typeflaw of a single term
+/**
+ * Shows the variable, its type, then the substituted term, and its type.
+ * For constants, the second term type is typically emtpy. This is only useful
+ * when the substituted term is also a variable.
+ */
 void
 xmlTypeFlaw (const Term variable)
 {
@@ -389,9 +394,7 @@ xmlTypeFlaw (const Term variable)
       xmlPrint ("<typeflaw>");
       xmlindent++;
       xmlTermType (variable);
-      xmlIndentPrint ();
-      xmlTermPrint (deVar (variable));
-      printf ("\n");
+      xmlTermType (deVar (variable));
       xmlindent--;
       xmlPrint ("</typeflaw>");
     }