diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2000-08-23 17:10:03 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2000-08-23 17:10:03 +0000 |
| commit | 3a43e16ae2c62b2ec0a8bcded8883b849d5b26bb (patch) | |
| tree | be9e24ff70fee6b2c61766371d5b80d08c8fa253 /byterun/finalise.c | |
| parent | 7f2c1ed367e24f2f78b20f3e0bf840633e3e3fb3 (diff) | |
ajout Weak.get_copy
Assert -> CAMLassert
suppression des conjonctions dans les Assert
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/finalise.c')
| -rw-r--r-- | byterun/finalise.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/byterun/finalise.c b/byterun/finalise.c index e0c548226..c4e5147bf 100644 --- a/byterun/finalise.c +++ b/byterun/finalise.c @@ -45,7 +45,8 @@ void final_update (void) Assert (young == old); Assert (young <= active); for (i = 0; i < old; i++){ - Assert (Is_block (final_table[i].val) && Is_in_heap (final_table[i].val)); + Assert (Is_block (final_table[i].val)); + Assert (Is_in_heap (final_table[i].val)); if (Is_white_val (final_table[i].val)){ struct final f = final_table[i]; final_table[i] = final_table[--old]; @@ -147,7 +148,8 @@ value final_register (value f, value v) /* ML */ if (final_table == NULL){ unsigned long new_size = 30; final_table = stat_alloc (new_size * sizeof (struct final)); - Assert (old == 0 && young == 0); + Assert (old == 0); + Assert (young == 0); active = size = new_size; }else{ unsigned long new_size = size * 2; |