X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.cc;fp=scanalysis.cc;h=288aa498c72801f1326fa8c986bc3d77afbbca64;hb=10dbb93b23ef00daaa60bccc5f25764cda298a61;hp=2bc275d7cada1f25fe4d3af3d1076f1c79325a4a;hpb=b4162a5ce2af6affc0ea425aa31cebbc5f5257e9;p=model-checker.git

diff --git a/scanalysis.cc b/scanalysis.cc
index 2bc275d..288aa49 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -159,7 +159,7 @@ bool SCAnalysis::processRead(ModelAction *read, ClockVector *cv) {
 	/* Merge in the clock vector from the write */
 	const ModelAction *write=read->get_reads_from();
 	ClockVector *writecv=cvmap->get(write);
-	changed|= ( writecv == NULL || merge(cv, read, writecv) && (*read < *write));
+	changed |= writecv == NULL || (merge(cv, read, writecv) && (*read < *write));
 
 	for(int i=0;i<=maxthreads;i++) {
 		thread_id_t tid=int_to_id(i);