From 2106aadb239c9ac4223b5586d560c9b990593896 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 25 May 2004 09:28:40 +0000
Subject: [PATCH] - Incremental searches now also output to stderr.

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

diff --git a/src/main.c b/src/main.c
index d514176..9bd3f00 100644
--- a/src/main.c
+++ b/src/main.c
@@ -487,9 +487,9 @@ MC_incRuns (const System sys)
     {
       systemReset (sys);
       sys->maxruns = runs;
-      printf ("%i of %i runs in incremental runs search.\n", runs, maxruns);
+      fprintf (stderr, "%i of %i runs in incremental runs search.\n", runs, maxruns);
       res = modelCheck (sys);
-      printf ("\n");
+      fprintf (stderr, "\n");
       if (res)
 	{
 	  /* Apparently a violation occurred. If we are searching
@@ -537,10 +537,10 @@ MC_incTraces (const System sys)
     {
       systemReset (sys);
       sys->maxtracelength = tracelen;
-      printf ("%i of %i trace length in incremental trace length search.\n",
+      fprintf (stderr, "%i of %i trace length in incremental trace length search.\n",
 	      tracelen, maxtracelen);
       res = modelCheck (sys);
-      printf ("\n");
+      fprintf (stderr, "\n");
       if (res)
 	{
 	  /* Apparently a violation occurred. If we are searching