From 508bd3ade51a4975d19a61f2b7ef67cc7137ae20 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Thu, 28 Jun 2018 15:54:52 -0700
Subject: 4283

---
 subx/020elf.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'subx/020elf.cc')

diff --git a/subx/020elf.cc b/subx/020elf.cc
index a065e9fb..e217755f 100644
--- a/subx/020elf.cc
+++ b/subx/020elf.cc
@@ -6,7 +6,7 @@ if (is_equal(argv[1], "run")) {
   assert(argc > 2);
   reset();
   load_elf(argv[2]);
-  while (EIP < End_of_program)
+  while (EIP < End_of_program)  // weak final-gasp termination check
     run_one_instruction();
 }
 
-- 
cgit 1.4.1-2-gfad0