Fixed type of CustomizeObject().
It should be string (also according to documentation), but
it was defined as mixed.
Change-Id: I2637f0e821aa5f971c5058832c76256369b54014
diff --git a/std/virtual/v_compiler.c b/std/virtual/v_compiler.c
index c09eaab..ef8f151 100644
--- a/std/virtual/v_compiler.c
+++ b/std/virtual/v_compiler.c
@@ -105,7 +105,7 @@
return(1); //fall-through, offenbar zustaendig.
}
-mixed CustomizeObject()
+string CustomizeObject()
{
string file;
// Wenn !clonep ist es schon ein per VC umbenanntes File und wir koennen den