Fixed codacy warning

ftsrg · Feb 22, 2021 · de877a0 · de877a0
1 parent 98b2096
commit de877a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/XstsStateSequence.java b/...-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/XstsStateSequence.java
@@ -84,7 +84,7 @@ public String stateToString(ExplState state) {
 					var optSymbol = type.getLiterals().stream()
 							.filter(symbol -> symbol.getIntValue().equals(intValue))
 							.findFirst();
-					if(!optSymbol.isPresent()) throw new RuntimeException(String.format("Unknown literal value %s for type %s",intValue,type.getName()));
+					assert optSymbol.isPresent();
 					sb.add(String.format("(%s %s)", decl.getName(), optSymbol.get().getName()));
 				} else {
 					sb.add(String.format("(%s %s)", decl.getName(), val.get()));