/* -*-c-*-
*
- * $Id: class.h,v 1.1 1997/07/21 13:47:52 mdw Exp $
+ * $Id: class.h,v 1.2 1997/08/04 10:24:21 mdw Exp $
*
* Handling classes of things nicely
*
* (c) 1997 EBI
*/
-/*----- Licencing notice --------------------------------------------------*
+/*----- Licensing notice --------------------------------------------------*
*
* This file is part of `become'
*
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
- * along with `become'; if not, write to the Free Software
- * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ * along with `become'; if not, write to the Free Software Foundation,
+ * Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*/
/*----- Revision history --------------------------------------------------*
*
* $Log: class.h,v $
- * Revision 1.1 1997/07/21 13:47:52 mdw
+ * Revision 1.2 1997/08/04 10:24:21 mdw
+ * Sources placed under CVS control.
+ *
+ * Revision 1.1 1997/07/21 13:47:52 mdw
* Initial revision
*
*/
/* --- @class_dump@ --- *
*
* Arguments: @classdef *c@ = pointer to a class block
- * @FILE *fp@ = pointer to a stream object
*
* Returns: ---
*
* Use: Dumps the contents of a class to a stream.
*/
-extern void class_dump(classdef */*c*/, FILE */*fp*/);
+extern void class_dump(classdef */*c*/);
/*----- That's all, folks -------------------------------------------------*/