- changed status to resolved
Kernel build fails with gcc 6.2.1
Issue #66
closed
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)
-
repo owner -
repo owner - changed status to closed
Fixed on master
- Log in to comment
Fix Issue
#66→ <<cset d7f377351d82>>