From 8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 2 Apr 2015 17:52:30 +0100
Subject: Silenced some compilation warnings.

---
 lib/Core/ExecutionState.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Core/ExecutionState.cpp')

diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp
index 6aeaa833..596a3475 100644
--- a/lib/Core/ExecutionState.cpp
+++ b/lib/Core/ExecutionState.cpp
@@ -67,8 +67,8 @@ StackFrame::~StackFrame() {
 /***/
 
 ExecutionState::ExecutionState(KFunction *kf) :
-    pc(kf->instructions),
     prevPC(pc),
+    pc(kf->instructions),
 
     queryCost(0.), 
     weight(1),
@@ -99,8 +99,8 @@ ExecutionState::~ExecutionState() {
 
 ExecutionState::ExecutionState(const ExecutionState& state):
     fnAliases(state.fnAliases),
-    pc(state.pc),
     prevPC(state.prevPC),
+    pc(state.pc),
     stack(state.stack),
     incomingBBIndex(state.incomingBBIndex),
 
-- 
cgit 1.4.1