Skip to content

Commit

Permalink
scalafmt
Browse files Browse the repository at this point in the history
  • Loading branch information
tribbloid committed Feb 7, 2024
1 parent d06123f commit ab9e99b
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@ package com.tribbloids.spookystuff.utils.classpath

import ai.acyclic.prover.commons.spark.Envs
import com.tribbloids.spookystuff.utils.io.{LocalResolver, WriteMode}
import com.tribbloids.spookystuff.utils.CommonUtils
import org.scalatest.funspec.AnyFunSpec

import java.io.File
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -31,8 +31,8 @@ object ExploreLocalCache {
}

def commitVisited(
v: ExploreRunner,
reducer: DataRow.Reducer
v: ExploreRunner,
reducer: DataRow.Reducer
): Unit = {

// TODO relax synchronized check to accelerate?
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,6 @@ import com.tribbloids.spookystuff.SpookyContext
import com.tribbloids.spookystuff.execution.Delta
import com.tribbloids.spookystuff.utils.serialization.NOTSerializable

import scala.language.implicitConversions

object DeltaRowLike {

case class SrcRow(
Expand Down

0 comments on commit ab9e99b

Please sign in to comment.