Use void*, not char* or generic_ptr

diff --git a/src/stmem.cc b/src/stmem.cc
index dd5b0a0ba54a3e391a5a866fddd236c88ae02e50..bf7f9e09b66eb54fc7dc0e2e3c22e5aaeda3a380 100644 (file)
--- a/src/stmem.cc
+++ b/src/stmem.cc
@@ -1,5 +1,5 @@
 /*
- * $Id: stmem.cc,v 1.12 1996/07/15 23:16:41 wessels Exp $
+ * $Id: stmem.cc,v 1.13 1996/07/17 17:03:45 wessels Exp $
  *
  * DEBUG: section 19    Memory Primitives
  * AUTHOR: Harvest Derived
@@ -445,13 +445,13 @@ void put_free_mem_obj(mem)
 }
 
 void put_free_4k_page(page)
-     char *page;
+     void *page;
 {
     put_free_thing(&sm_stats, page);
 }
 
 void put_free_8k_page(page)
-     char *page;
+     void *page;
 {
     put_free_thing(&disk_stats, page);
 }