This repository has been archived by the owner on Sep 25, 2020. It is now read-only.

Async lock does not get released #105

Open

larsrh opened this issue Jun 18, 2019 · 0 comments

Owner

larsrh commented Jun 18, 2019

libisabelle/modules/libisabelle/src/main/scala/Platform.scala

Line 134 in c2ae5f2

f().map { a =>

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.