Move implicit debug section higher (!102) · Merge requests · LARA / inox

Viktor Kuncak requested to merge github/fork/jad-hamza/higher-debug-section into master Jun 29, 2019

Created by: jad-hamza

I sometimes have this error when compiling Inox from Stainless (this PR fixes it)

inox/src/main/scala/inox/solvers/unrolling/Templates.scala:79:19: could not find implicit value for parameter section: inox.DebugSection
[error]     reporter.debug("Unrolling generation [" + currentGen + "]")

Move implicit debug section higher

Merge request reports