declutter arguments

breandan · Apr 18, 2023 · 46fc114 · 46fc114
1 parent b5796b7
commit 46fc114
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/galoisenne b/galoisenne
diff --git a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt
@@ -69,7 +69,7 @@ private fun optRepair(clock: TimeSource.Monotonic.ValueTimeMark): CFG.(List<Σ
 
 @OptIn(ExperimentalTime::class)
 private fun satRepair(clock: TimeSource.Monotonic.ValueTimeMark): CFG.(List<Σᐩ>) -> Sequence<Σᐩ> =
-  { a: List<Σᐩ> -> asCJL.synthesize(a, takeMoreWhile = {  clock.elapsedNow().inWholeMilliseconds < TIMEOUT_MS  }) }
+  { a: List<Σᐩ> -> asCJL.synthesize(a, takeMoreWhile = { clock.elapsedNow().inWholeMilliseconds < TIMEOUT_MS  }) }
 
 @OptIn(ExperimentalTime::class)
 private fun setRepair(clock: TimeSource.Monotonic.ValueTimeMark): CFG.(List<Σᐩ>) -> Sequence<Σᐩ> =