[patch] reduce-3.16.111118-GraphToHoldScores-add-semicolon.patch

reduce-3.16.111118-GraphToHoldScores-add-semicolon.patch (text/plain), 493 bytes, created by Peter Levine on 2016-09-18 21:00:21 UTC

--- reduce_src/GraphToHoldScores.cpp.old	2016-09-18 16:48:57.154949519 -0400
+++ reduce_src/GraphToHoldScores.cpp	2016-09-18 16:49:30.038377214 -0400
@@ -1149,7 +1149,7 @@
 			return ii;
 		}
 	}
-	std::cerr << "CRITICAL ERROR IN whichVertex(" << vertex_index << ") called on edge [" <<
+	std::cerr << "CRITICAL ERROR IN whichVertex(" << vertex_index << ") called on edge [";
 	std::cerr << vertex_indices_[ 0 ] << ", " << vertex_indices_[ 1 ] << "]" << std::endl;
 	assert(false);
 	exit(1);