diff src/OPERATORS/op-range.cc @ 5164:57077d0ddc8e

[project @ 2005-02-25 19:55:24 by jwe]
author jwe
date Fri, 25 Feb 2005 19:55:28 +0000
parents c0d8e8afa82f
children 4c8a2e4e0717
line wrap: on
line diff
--- a/src/OPERATORS/op-range.cc	Fri Feb 25 17:42:55 2005 +0000
+++ b/src/OPERATORS/op-range.cc	Fri Feb 25 19:55:28 2005 +0000
@@ -20,10 +20,6 @@
 
 */
 
-#if defined (__GNUG__) && defined (USE_PRAGMA_INTERFACE_IMPLEMENTATION)
-#pragma implementation
-#endif
-
 #ifdef HAVE_CONFIG_H
 #include <config.h>
 #endif