diff --git a/src/pike_embed.h b/src/pike_embed.h
index cbe98e29bc47b0912e9c584f95ba3d0e3a7bfd64..ea1c26aa90a0e39ad1071cc50f649d33de082c88 100644
--- a/src/pike_embed.h
+++ b/src/pike_embed.h
@@ -1,5 +1,5 @@
 /*
- * $Id: pike_embed.h,v 1.5 2005/01/03 13:17:07 agehall Exp $
+ * $Id: pike_embed.h,v 1.6 2005/01/03 13:41:13 agehall Exp $
  *
  * Pike embedding API.
  *
@@ -65,6 +65,4 @@ DECLSPEC(noreturn) void pike_do_exit(int num) ATTRIBUTE((noreturn));
 void pike_push_argv(int argc, char **argv);
 void pike_push_env(void);
 
-extern char libpike_name[];
-
 #endif /* PIKE_EMBED_H */