Address IntelliJ warnings in `Interface.scala` (#3816) · runtimeverification/k@b7d1dfc · GitHub

Commit

Address IntelliJ warnings in Interface.scala (#3816)

Browse files

This PR addresses all the IntelliJ warnings in `Interface.scala`.

In particular, we add type annotations to `Sort.ord` and `Pattern.ord`.
This fixes an issue noted by @radumereuta where IntelliJ couldn't
properly resolving the implicit `Ordering` instances, causing erroneous
compilation errors and blocking use of the debugger.

---------

Co-authored-by: rv-jenkins <[email protected]>

Loading branch information

Scott-Guest and rv-jenkins authored Nov 16, 2023

1 parent 7a94f0f commit b7d1dfc