From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 19 Jun 2019 20:59:56 +0000 (-0700)
Subject: Merge branch 'branch-weiyu' into new_fuzzer
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b796e8fd2555099af225ee1c3f9194bc14f6fa15;hp=aa653d6ec854b70b92b9cbb0fe452fbb0e300979;p=c11tester.git

Merge branch 'branch-weiyu' into new_fuzzer
---

diff --git a/action.cc b/action.cc
index df44af19..b3db1f16 100644
--- a/action.cc
+++ b/action.cc
@@ -502,6 +502,7 @@ uint64_t ModelAction::get_reads_from_value() const
 	ASSERT(is_read());
 	if (reads_from)
 		return reads_from->get_write_value();
+
 	return VALUE_NONE;	// Only for new actions with no reads-from
 }