1 files changed, 6 insertions, 6 deletions
diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h
index 73095afc..067a80a2 100644
--- a/include/klee/ExecutionState.h
+++ b/include/klee/ExecutionState.h
@@ -73,15 +73,15 @@ private:
   std::map<std::string, std::string> fnAliases;
 
 public:
-  /// Execution - Control Flow specific
-
-  /// @brief pointer to instruction to be executed next after the
-  /// current instruction (prevPc)
-  KInstIterator pc;
+  // Execution - Control Flow specific
 
   /// @brief Pointer to instruction which is currently executed
   KInstIterator prevPC;
 
+  /// @brief Pointer to instruction to be executed after the current
+  /// instruction
+  KInstIterator pc;
+
   /// @brief Stack representing the current instruction stream
   stack_ty stack;
 
@@ -89,7 +89,7 @@ public:
   /// (i.e. to select the right phi values)
   unsigned incomingBBIndex;
 
-  /// Overall state of the state - Data specific
+  // Overall state of the state - Data specific
 
   /// @brief Address space used by this state (e.g. Global and Heap)
   AddressSpace addressSpace;