diff src/pt-jump.cc @ 5105:e35b034d3523

[project @ 2004-12-28 03:36:13 by jwe]
author jwe
date Tue, 28 Dec 2004 03:36:14 +0000
parents fa3482b34599
children 4c8a2e4e0717
line wrap: on
line diff
--- a/src/pt-jump.cc
+++ b/src/pt-jump.cc
@@ -20,10 +20,6 @@
 
 */
 
-#if defined (__GNUG__) && defined (USE_PRAGMA_INTERFACE_IMPLEMENTATION)
-#pragma implementation
-#endif
-
 #ifdef HAVE_CONFIG_H
 #include <config.h>
 #endif