X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=branchrecord.cc;h=c2c07b08916c19fb0e188e01630886f42ec6735b;hb=d5e97e18e0f24e27a97fdb181d42ecc491d55c78;hp=e55aa24d3b0884a89f7ac22f11f613de1c56eefc;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/branchrecord.cc b/branchrecord.cc
index e55aa24..c2c07b0 100644
--- a/branchrecord.cc
+++ b/branchrecord.cc
@@ -54,6 +54,6 @@ int BranchRecord::getBranchValue(bool * array) {
 	}
 	if (!alwaysexecuted)
 		value--;
-	
+
 	return value;
 }