From 5c818aff69ee2657114ed91eb4db75aab2a98f8c Mon Sep 17 00:00:00 2001
From: Ichthyostega <prg@ichthyostega.de>
Date: Sat, 3 Jan 2015 12:52:09 +0100
Subject: [PATCH] better typename

---
 src/lib/diff/diff-language.hpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/lib/diff/diff-language.hpp b/src/lib/diff/diff-language.hpp
index 905a56b8e..f6510047b 100644
--- a/src/lib/diff/diff-language.hpp
+++ b/src/lib/diff/diff-language.hpp
@@ -120,17 +120,17 @@ namespace diff{
     {
       
       using DiffVerb = VerbToken<I, void(E)>;
-      using VerbTok = std::tuple<DiffVerb, E>;
+      using DiffToken = std::tuple<DiffVerb, E>;
       using Interpreter = I;
       
       struct DiffStep
-        : VerbTok
+        : DiffToken
         {
           DiffVerb& verb() { return std::get<0>(*this); }
           E         elm()  { return std::get<1>(*this); }
           
           DiffStep(DiffVerb verb, E e)
-            : VerbTok(verb,e)
+            : DiffToken(verb,e)
             { }
           
           operator string()  const