undo accidental change

Certora · May 16, 2024 · 5dbb626 · 5dbb626
1 parent f01d7ab
commit 5dbb626
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/collect/src/main/kotlin/com/certora/collect/TreapListNode.kt b/collect/src/main/kotlin/com/certora/collect/TreapListNode.kt
@@ -1,6 +1,5 @@
 package com.certora.collect
 
-import com.certora.forkjoin.*
 import kotlin.random.Random
 import java.lang.Math.addExact