From b70c09a2d127436a9f46d781cbf262bf9ab3cdbb Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 29 Dec 2018 22:41:15 +0000
Subject: [PATCH] Shorter verbose message

---
 symrs.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/symrs.cc b/symrs.cc
index 62f60a6..c7476c6 100644
--- a/symrs.cc
+++ b/symrs.cc
@@ -820,7 +820,7 @@ void SymRS::encodeTransitions(void)
   VERB("Reactions ready");
 
   if (usingContextAutomaton()) {
-    VERB("Augmenting transition relation encoding with the transition relation for context automaton");
+    VERB("Augmenting transitions with transitions for context automaton");
 
     if (opts->part_tr_rel) {
       auto last_index = numberOfProc;