From cc1a60141d01cf13a222db05e18f29f9bda40921 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Sun, 16 Jul 2017 10:10:01 +0200
Subject: Use assembly line for printing debug information

Instead of using an id, use the assembly line number executed
---
 lib/Core/Executor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index dc2bca4e..60ed1bd9 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -1251,7 +1251,7 @@ void Executor::printDebugInstructions(ExecutionState &state) {
     (*stream) << ":";
   }
 
-  (*stream) << state.pc->info->id;
+  (*stream) << state.pc->info->assemblyLine;
 
   if (optionIsSet(DebugPrintInstructions, STDERR_ALL) ||
       optionIsSet(DebugPrintInstructions, FILE_ALL))
-- 
cgit 1.4.1