From 18da70342efb2114042c8ad5fae089cef6e69862 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Fri, 19 Apr 2024 23:37:54 -0600
Subject: CFG captures VGoto path

---
 vaporize/library/Kettle.java | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'vaporize/library/Kettle.java')

diff --git a/vaporize/library/Kettle.java b/vaporize/library/Kettle.java
index e413907..d76c938 100644
--- a/vaporize/library/Kettle.java
+++ b/vaporize/library/Kettle.java
@@ -75,10 +75,10 @@ class Kettle {
      * Needed because VBranch doesn't seem to
      * keep track of this...
      */
-    protected int findLabelIndex(VBranch n) {
+    protected int findLabelIndex(String str) {
         int index = -1;
         // is this guarenteed?
-        String search = n.target.toString().substring(1);
+        String search = str.substring(1);
         String comp;
         for (int i = 0; i < this.vapor.size(); ++i) {
             if (!this.vapor.get(i).isEmpty()) {
@@ -93,9 +93,10 @@ class Kettle {
 
         if (index == -1) {
             MinimalLogger.severe(String.format("findLabelIndex could not compute label for %s!",
-                                               this.get(n).trim()));
+                                               str.trim()));
         }
-        return index;
+        // go to the section AFTER the label
+        return index+1;
     }
 
     protected int indexOf(Node n) {
-- 
cgit v1.2.3