From a5b42ea91397468d1276b67d86eba365935bda8d Mon Sep 17 00:00:00 2001
From: Pietro Fezzardi <pietro@rev.ng>
Date: Thu, 27 May 2021 16:37:46 +0200
Subject: [PATCH] DLATypeSystem.cpp: update scc_iterator API

---
 lib/Decompiler/DLATypeSystem.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/Decompiler/DLATypeSystem.cpp b/lib/Decompiler/DLATypeSystem.cpp
index 3303088bd..668ea21c4 100644
--- a/lib/Decompiler/DLATypeSystem.cpp
+++ b/lib/Decompiler/DLATypeSystem.cpp
@@ -891,7 +891,7 @@ bool LayoutTypeSystem::verifyDAG() const {
     auto E = scc_end(Node);
     for (; I != E; ++I) {
       Visited.insert(I->begin(), I->end());
-      if (I.hasLoop()) {
+      if (I.hasCycle()) {
         if (VerifyDLALog.isEnabled())
           revng_check(false);
         return false;
@@ -920,7 +920,7 @@ bool LayoutTypeSystem::verifyInheritanceDAG() const {
     auto E = scc_end(InheritanceNodeT(Node));
     for (; I != E; ++I) {
       Visited.insert(I->begin(), I->end());
-      if (I.hasLoop()) {
+      if (I.hasCycle()) {
         if (VerifyDLALog.isEnabled())
           revng_check(false);
         return false;
@@ -949,7 +949,7 @@ bool LayoutTypeSystem::verifyInstanceDAG() const {
     auto E = scc_end(InstanceNodeT(Node));
     for (; I != E; ++I) {
       Visited.insert(I->begin(), I->end());
-      if (I.hasLoop()) {
+      if (I.hasCycle()) {
         if (VerifyDLALog.isEnabled())
           revng_check(false);
         return false;