diff --git a/src/main/scala/leon/synthesis/rules/CegisLike.scala b/src/main/scala/leon/synthesis/rules/CegisLike.scala
index 9ab792f7dadebc1fe45dc2799ce3a0fbb00ae07c..53d9a4bde5a184ef39e5d7286db39e2ae091aa71 100644
--- a/src/main/scala/leon/synthesis/rules/CegisLike.scala
+++ b/src/main/scala/leon/synthesis/rules/CegisLike.scala
@@ -43,7 +43,7 @@ abstract class CEGISLike[T <% Typed](name: String) extends Rule(name) {
 
     val sctx = hctx.sctx
 
-    // CEGIS Flags to actiave or de-activate features
+    // CEGIS Flags to activate or deactivate features
     val useUninterpretedProbe = sctx.settings.cegisUseUninterpretedProbe
     val useUnsatCores         = sctx.settings.cegisUseUnsatCores
     val useOptTimeout         = sctx.settings.cegisUseOptTimeout