From 588ae30bef65ae64b9542eaa613dfdf762da1623 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Wed, 2 May 2012 10:15:45 +0200
Subject: [PATCH] Removing obsolete 'c-minimal' terminology.

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

diff --git a/src/binding.c b/src/binding.c
index 2296e14..d10abd6 100644
--- a/src/binding.c
+++ b/src/binding.c
@@ -578,7 +578,7 @@ first_origination ()
 				  eprintf ("Binding for ");
 				  termPrint (b->term);
 				  eprintf
-				    (" at r%i i%i is not c-minimal because it occurred before at r%i i%i in ",
+				    (" at r%i i%i is not redundant because it occurred before at r%i i%i in ",
 				     b->run_from, b->ev_from, run, ev);
 				  termPrint (rd->message);
 				  eprintf ("\n");