sbt deploy misses a file on devel

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

sbt deploy misses a file on devel #483

Closed kohlhase closed 5 years ago

kohlhase commented 5 years ago

I get

[info] Done packaging.
[error] java.lang.IllegalArgumentException: requirement failed: Source file '/Users/kohlhase/vc/git/github.com/UniFormal/MMT/src/mmt-coq/target/scala-2.12/classes/info/kwarc/mmt/coq/coqxml/VARIABLE$.class' does not exist.

kohlhase commented 5 years ago

sorry, an sbt clean fixed this.