X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execpoint.cc;h=7cfdff5d7bd96f3b70478d0dc9929e139e638a58;hb=b394fb6e65b7bc1ddaaecd7a916c354a1464cb5c;hp=7b632134b87093f0f3d3f2364005d75b4ce9768d;hpb=fdc038715881f395ddbac1625160236f8db2c1d7;p=satcheck.git

diff --git a/execpoint.cc b/execpoint.cc
index 7b63213..7cfdff5 100644
--- a/execpoint.cc
+++ b/execpoint.cc
@@ -43,15 +43,15 @@ void ExecPoint::reset() {
 }
 
 /** Return CR_AFTER means that ep occurs after this.
-		Return CR_BEFORE means tha te occurs before this.
-		Return CR_EQUALS means that they are the same point.
-		Return CR_INCOMPARABLE means that they are not comparable.
-*/
+                Return CR_BEFORE means tha te occurs before this.
+                Return CR_EQUALS means that they are the same point.
+                Return CR_INCOMPARABLE means that they are not comparable.
+ */
 
 CompareResult ExecPoint::compare(const ExecPoint * ep) const {
 	if (this==ep)
 		return CR_EQUALS;
-	unsigned int minsize=(size<ep->size)?size:ep->size;
+	unsigned int minsize=(size<ep->size) ? size : ep->size;
 	for(unsigned int i=0;i<minsize;i+=2) {
 		ASSERT(pairarray[i]==ep->pairarray[i]);
 		if (pairarray[i+1]!=ep->pairarray[i+1]) {
@@ -122,7 +122,7 @@ bool ExecPointEquals(ExecPoint *e1, ExecPoint * e2) {
 		return e2==NULL;
 	if (e1->tid != e2->tid || e1->size != e2->size || e1->hashvalue != e2->hashvalue)
 		return false;
-	for(unsigned int i=0; i<e1->size; i++) {
+	for(unsigned int i=0;i<e1->size;i++) {
 		if (e1->pairarray[i]!=e2->pairarray[i])
 			return false;
 	}