Update AuxStateHandler.java

rcosta358 · rcosta358 · commit 0593d7f00133 · 2025-09-20T19:06:44.000+01:00
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/object_checkers/AuxStateHandler.java
@@ -602,4 +602,3 @@ private static List<CtAnnotation<? extends Annotation>> getStateAnnotation(CtEle
         // return l;
     }
 }
-

Original file line number	Diff line number	Diff line change
`@@ -602,4 +602,3 @@ private static List<CtAnnotation<? extends Annotation>> getStateAnnotation(CtEle`
`602`	`602`	`// return l;`
`603`	`603`	`}`
`604`	`604`	`}`
`605`		`-`