fix a compile bug in ubuntu

bjjwwang · Dec 28, 2023 · 20cbec0 · 20cbec0
1 parent 1cbe205
commit 20cbec0
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp b/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp
@@ -95,10 +95,7 @@ IntervalValue SVFIR2ItvExeState::getRangeLimitFromType(const SVFType* type)
         }
         return IntervalValue(lb, ub);
     }
-    else
-    {
-        assert(false && "cannot support");
-    }
+    assert(false && "cannot support");
 }