1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index 2256c4462..d859c60d8 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -480,7 +480,7 @@ public:
     return set | (1 << theory);
   }
 
-  /** Check if the set containt the theory */
+  /** Check if the set contains the theory */
   static inline bool setContains(TheoryId theory, Set set) {
     return set & (1 << theory);
   }