Fix after merge.

hernanponcedeleon · Jul 11, 2023 · 5cdf539 · 5cdf539
1 parent d418c28
commit 5cdf539
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/...nan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/boogie/LlvmProcedures.java b/...nan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/boogie/LlvmProcedures.java
@@ -110,7 +110,6 @@ public static boolean handleLlvmFunction(VisitorBoogie visitor, Call_cmdContext
                             throw new UnsupportedOperationException("Operation " + params.get(3).getText() + " is not recognized.");
                 }
                 visitor.addEvent(Llvm.newRMW(reg, p0, p1, op, mo));
-                return true;
             }
             case "llvm.smax.i32", "llvm.smax.i64", "llvm.umax.i32", "llvm.umax.i64" -> {
                 cond = visitor.expressions.makeGT(p0, p1, funcName.contains("smax"));