remove an obsolete file

diff --git a/src/smpi/BUGS b/src/smpi/BUGS
deleted file mode 100644 (file)
index 519af08..0000000
--- a/src/smpi/BUGS
+++ /dev/null
@@ -1,8 +0,0 @@
-
-___________________________________________________________________________________________
-* if the program has a different main() prototype than
-   int main( int argc, char *argv[] )
-  then the compilation smpicc fails : conflicting types for ‘smpi_simulated_main’
-  since smpicc substitutes smpi_simulated_main for the user main() declaration.
-
-___________________________________________________________________________________________