Kernel build fails with gcc 6.2.1

Building kernel with gcc 6.2.1 I get the following error

Tactic.cpp:1664:8: error: ‘ptrdiff_t’ was not declared in this scope

This patch helps

diff --git a/Kernel/Tactic.cpp b/Kernel/Tactic.cpp
index 427e283..bf1d4ca 100644
--- a/Kernel/Tactic.cpp
+++ b/Kernel/Tactic.cpp
@@ -1661,7 +1661,7 @@ bool DlSatTester :: commonTacticBodyProj ( const TRole* R, BipolarPointer C, con
        // checkProjection() might change curNode's edge vector and thusly invalidate iterators
        DlCompletionTree::const_edge_iterator p = curNode->begin(), p_end = curNode->end();

-       for ( ptrdiff_t i = 0, n = p_end - p; i < n; ++i )
+       for ( std::ptrdiff_t i = 0, n = p_end - p; i < n; ++i )
        {
                p = curNode->begin() + i;
                if ( (*p)->isNeighbour(R) )

Comments (2)