#include "../../src/shared/AutoDeltaSetObserver.h"