⚡ Sangsakala Proxy 🏠 Home
Skip to content

Commit dcc5d1b

Browse files
Kirill GolubevKirill Golubev
Kirill Golubev
authored and
Kirill Golubev
committed
typo
1 parent e0d621f commit dcc5d1b

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • liquidjava/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers

‎liquidjava/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -312,7 +312,7 @@ private static Predicate changeState(TypeChecker tc, VariableInstance vi, Refine
312312

313313
boolean found = false;
314314
// if(los.size() > 1)
315-
// assertFalse("Change state only working for one methods with one state",true);
315+
// assertFalse("Change state only working for one method with one state",true);
316316
for (int i = 0; i < los.size() && !found; i++) {// TODO: only working for 1 state annotation
317317
ObjectState os = los.get(i);
318318
if (os.hasFrom()) {

0 commit comments

Comments
 (0)