Commit 723c66e4 authored by Jens Korinth's avatar Jens Korinth
Browse files

Bugfix in new CoreDefinition constructor

parent 67b84bed
......@@ -22,7 +22,8 @@ case class CoreDefinition(name: String, vendor: String, library: String, version
**/
object CoreDefinition {
/** Alternative constructor: supplies root dir as ip/<name>. **/
def apply(name: String, vendor: String, library: String, version: String) = CoreDefinition(
def apply(name: String, vendor: String, library: String, version: String): CoreDefinition =
CoreDefinition(
name,
vendor,
library,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment