Update following miking + miking-dppl changes#4

elegios wants to merge 1 commit into

miking-lang:mastermiking-lang/ProbTime:masterfrom

elegios:compatibility-updateelegios/ProbTime:compatibility-updateCopy head branch name to clipboard