Skip to content
Snippets Groups Projects
Commit dcb542c4 authored by Emmanouil (Manos) Koukoutos's avatar Emmanouil (Manos) Koukoutos Committed by Etienne Kneuss
Browse files

Fix Typo

parent dc6aa52a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/synthesis/rules/CegisLike.scala
+ 1
− 1
View file @ dcb542c4
...@@ -43,7 +43,7 @@ abstract class CEGISLike[T <% Typed](name: String) extends Rule(name) { ...@@ -43,7 +43,7 @@ abstract class CEGISLike[T <% Typed](name: String) extends Rule(name) {
val sctx = hctx.sctx 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 useUninterpretedProbe = sctx.settings.cegisUseUninterpretedProbe
val useUnsatCores = sctx.settings.cegisUseUnsatCores val useUnsatCores = sctx.settings.cegisUseUnsatCores
val useOptTimeout = sctx.settings.cegisUseOptTimeout val useOptTimeout = sctx.settings.cegisUseOptTimeout
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment