From fc72b5f6ff07c16794c37e5df7d55a3870325450 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 12 Jul 2012 12:13:36 +0200
Subject: [PATCH] Removed remaining 'Const' declarations.

---
 src/dotout.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dotout.c b/src/dotout.c
index 4e7b680..555680c 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -1304,7 +1304,7 @@ printRunConstants (const System sys, const int run)
 {
   if (sys->runs[run].constants != NULL)
     {
-      eprintf ("Const ");
+      eprintf ("Fresh ");
       showLocals (run, sys->runs[run].role->declaredconsts,
 		  sys->runs[run].constants, NULL, "", ", ");
       eprintf ("\\l");