From 9e206909f48d5d2579b6ec17764d3273df23ff08 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 10 Feb 2000 14:04:59 +0000
Subject: Introduction des blocs de type Custom. Remplacement des blocs de type
Final par des blocs de type Custom.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
byterun/gc_ctrl.c | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
(limited to 'byterun/gc_ctrl.c')
diff --git a/byterun/gc_ctrl.c b/byterun/gc_ctrl.c
index a0adb0cdc..89bf63856 100644
--- a/byterun/gc_ctrl.c
+++ b/byterun/gc_ctrl.c
@@ -14,6 +14,7 @@
#include "alloc.h"
#include "compact.h"
+#include "custom.h"
#include "gc.h"
#include "gc_ctrl.h"
#include "major_gc.h"
@@ -91,8 +92,8 @@ static void check_block (char *hp)
case Double_array_tag:
Assert (Wosize_val (v) % Double_wosize == 0);
break;
- case Final_tag:
- Assert (!Is_in_heap (Final_fun (v)));
+ case Custom_tag:
+ Assert (!Is_in_heap (Custom_ops_val (v)));
break;
case Infix_tag:
--
cgit v1.2.3-70-g09d2