From: Brian Norris <banorris@uci.edu>
Date: Fri, 5 Apr 2013 21:01:33 +0000 (-0700)
Subject: action: correct RF capitalization
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=217296360283e2a11affe53bb1c94c84814bc9f6

action: correct RF capitalization
---

diff --git a/action.cc b/action.cc
index 34bc09f0..6e765fd6 100644
--- a/action.cc
+++ b/action.cc
@@ -608,7 +608,7 @@ void ModelAction::print() const
 			if (idx >= 0)
 				model_print("  Rf: P%-2d", idx);
 			else
-				model_print("  RF: P? ");
+				model_print("  Rf: P? ");
 		} else
 			model_print("  Rf: ?  ");
 	}