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