1 files changed, 1 insertions, 0 deletions
diff --git a/test/unit/theory/logic_info_white.h b/test/unit/theory/logic_info_white.h
index 5f6a93ae7..f569d6389 100644
--- a/test/unit/theory/logic_info_white.h
+++ b/test/unit/theory/logic_info_white.h
@@ -512,6 +512,7 @@ public:
     info = info.getUnlockedCopy();
     TS_ASSERT( !info.isLocked() );
     info.disableTheory(THEORY_STRINGS);
+    info.disableTheory(THEORY_SETS);
     info.arithOnlyLinear();
     info.disableIntegers();
     info.lock();