From dcb542c4a1bb6492ef592add09cf3f29a61f0bd3 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Thu, 8 Jan 2015 11:33:34 +0100
Subject: [PATCH] Fix Typo
---
src/main/scala/leon/synthesis/rules/CegisLike.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/rules/CegisLike.scala b/src/main/scala/leon/synthesis/rules/CegisLike.scala
index 9ab792f7d..53d9a4bde 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
--
GitLab