mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-29 05:38:00 +00:00
2ea5de4d68
checking finite state systems against specifications the temporal logic CTL (Computational Tree Logic). PR: ports/59429 Submitted by: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de>
18 lines
501 B
C
18 lines
501 B
C
--- hash.c
|
|
+++ hash.c
|
|
@@ -7,12 +7,12 @@
|
|
int (*hash_fun)(),(*eq_fun)();
|
|
mgr_ptr mgr;
|
|
{
|
|
- hash_ptr res = (hash_ptr)malloc(sizeof(struct hash));
|
|
+ hash_ptr res = (hash_ptr)smv_malloc(sizeof(struct hash));
|
|
res->size = init_size;
|
|
res->hash_fun = hash_fun;
|
|
res->eq_fun = eq_fun;
|
|
res->mgr = mgr;
|
|
- res->tab = (rec_ptr *)malloc(init_size * sizeof(rec_ptr));
|
|
+ res->tab = (rec_ptr *)smv_malloc(init_size * sizeof(rec_ptr));
|
|
bzero(res->tab,init_size * sizeof(rec_ptr));
|
|
return(res);
|
|
}
|