src/main/java/seedu/address/model/ModelManager.java
@Override
    public void updateExtraFilteredStudentList(Predicate<Student> predicate) {
        requireNonNull(predicate);
        filteredStudents.setPredicate(predicate);
        extraStudentPredicate = predicate;
    }
/**
     * Update Extra Filtered Student List.
     */
Update Extra Filtered Student List.
Update Extra Filtered Student List .
@Override
    public void updateExtraFilteredStudentList(Predicate<Student> predicate) {
        requireNonNull(predicate);
        filteredStudents.setPredicate(predicate);
        extraStudentPredicate = predicate;
    }
@ Override public void updateExtraFilteredStudentList ( Predicate < Student > predicate ) { requireNonNull ( predicate ) ; filteredStudents . setPredicate ( predicate ) ; extraStudentPredicate = predicate ; }
Update Extra Filtered Student List.
Update Extra Filtered Student List .