Skip to content

Commit

Permalink
Reformatted code
Browse files Browse the repository at this point in the history
  • Loading branch information
thetabotmaintainer[bot] committed Jul 24, 2024
1 parent 57ef146 commit 0a07c83
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -77,10 +77,10 @@ fun getBoundedChecker(xcfa: XCFA, mcm: MCM,

}

private fun tryGetSolver(name : String, validate : Boolean) : SolverFactory? {
private fun tryGetSolver(name: String, validate: Boolean): SolverFactory? {
try {
return getSolver(name, validate)
} catch (e : SmtLibSolverInstallerException) {
} catch (e: SmtLibSolverInstallerException) {
return null
}
}
Expand Down

0 comments on commit 0a07c83

Please sign in to comment.