remove unliftio from dependencies (#1567)

Co-authored-by: rv-jenkins <admin@runtimeverification.com> Co-authored-by: Thomas Tuegel <ttuegel@mailbox.org>
runtimeverification · Feb 20, 2020 · 8e24356 · 8e24356
1 parent 9a04c5f
commit 8e24356
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kore/package.yaml b/kore/package.yaml
@@ -80,7 +80,6 @@ dependencies:
   - these >=1.0
   - time >=1.8
   - transformers >=0.4
-  - unliftio-core >=0.1
   - unordered-containers >=0.2
   - vector >= 0.12
   - witherable >=0.3