From 80eafb7374f7a900e7e4c31c9e4fd99170781362 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 31 Jul 2006 11:31:52 +0000
Subject: [PATCH] - Additional --check output should go to stderror.

---
 src/intruderknowledge.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/intruderknowledge.c b/src/intruderknowledge.c
index 44a5f53..8fa5a07 100644
--- a/src/intruderknowledge.c
+++ b/src/intruderknowledge.c
@@ -14,9 +14,11 @@ addSTerm (const System sys, Term t, Termlist fromlist, Termlist tolist)
 
   if (switches.check)
     {
+      globalError++;
       eprintf ("[ Adding ");
       termPrint (t2);
       eprintf (" to the initial intruder knowledge]\n");
+      globalError--;
     }
 }
 
@@ -95,6 +97,7 @@ initialIntruderKnowledge (const System sys)
 {
   if (switches.check)
     {
+      globalError++;
       eprintf ("Computing initial intruder knowledge.\n\n");
       eprintf ("Agent names      : ");
       termlistPrint (sys->agentnames);
@@ -102,6 +105,7 @@ initialIntruderKnowledge (const System sys)
       eprintf ("Untrusted agents : ");
       termlistPrint (sys->untrusted);
       eprintf ("\n");
+      globalError--;
     }
 
   /*
@@ -178,11 +182,13 @@ initialIntruderKnowledge (const System sys)
 
     if (switches.check)
       {
+	globalError++;
 	eprintf ("Role ");
 	termPrint (r->nameterm);
 	eprintf (" knows ");
 	termlistPrint (r->knows);
 	eprintf ("\n");
+	globalError--;
       }
 
     addListKnowledge (r->knows, r->nameterm);