Skip to content

Commit d5b896c

Browse files
committed
Reverted back original timeout.
1 parent 4215b09 commit d5b896c

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/main/scala/Silicon.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -199,7 +199,7 @@ class Silicon(val reporter: Reporter, private var debugInfo: Seq[(String, Any)]
199199

200200
try {
201201
val failures =
202-
if (config.timeout() == 0)
202+
if (config.timeout.toOption.getOrElse(0) == 0)
203203
future.get()
204204
else
205205
future.get(config.timeout(), TimeUnit.SECONDS)

0 commit comments

Comments
 (0)