Remove currently unused go interop (#152)

By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).
dafny-lang · Feb 22, 2024 · c86989e · c86989e
1 parent abd5960
commit c86989e
Showing 1 changed file with 0 additions and 16 deletions.
diff --git a/src/interop/go/DRandomCoin.go b/src/interop/go/DRandomCoin.go