Formatting

Author: rcosta358

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

@@ -465,7 +465,6 @@ private static void changeState(TypeChecker tc, VariableInstance vi, List<Object
                 .substituteVariable(name, instanceName);
 
         boolean found = false;
-     
         for (ObjectState stateChange : stateChanges) { // TODO: only working for 1 state annotation
             if (found)
                 break;