r9646: fixed error message

diff --git a/source/setup/provision b/source/setup/provision
index 35c9d64f80cf017bbc1a2ba511c3392d537d3ae2..b3be19771001231df6d41233cfd9c0b9b2619574 100755 (executable)
--- a/source/setup/provision
+++ b/source/setup/provision
@@ -30,7 +30,7 @@ options = GetOptions(ARGV,
                 'blank');
 
 if (options == undefined) {
                 'blank');
 
 if (options == undefined) {

-   println("Failed to parse options: ", options.ERROR);
+   println("Failed to parse options");

    return -1;
 }
 
    return -1;
 }