From bcd6b229c31a8674198968efe93f0466d998f29a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Thu, 17 May 2001 16:46:43 +0200
Subject: [PATCH] Bugfix.

Rev: bin/precompile.pike:1.48
---
 bin/precompile.pike | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/precompile.pike b/bin/precompile.pike
index f750a88357..c068f5bd55 100644
--- a/bin/precompile.pike
+++ b/bin/precompile.pike
@@ -618,7 +618,7 @@ class PikeType
 		  }else{
 		    repeater=PikeType("void");
 		  }
-		  args=map(argstmp[..end]*({}),PikeType)+
+		  args=map(argstmp[..end]-({({})}),PikeType)+
 		    ({repeater, PikeType(rettmp) });
 		}else{
 		  args=({PikeType("mixed"),PikeType("any")});
-- 
GitLab