1 files changed, 1 insertions, 7 deletions
diff --git a/atdgen/test/test_atdgen_main.ml b/atdgen/test/test_atdgen_main.ml
index 45cf8d9..a6a7697 100644
--- a/atdgen/test/test_atdgen_main.ml
+++ b/atdgen/test/test_atdgen_main.ml
@@ -190,13 +190,7 @@ let test_ocaml_internals () =
   Gc.compact ();
   int := 123;
   Gc.compact ();
-  check ({ int = !int }.int = 123);
-
-  let float = ref (Obj.magic 0) in
-  Gc.compact ();
-  float := 4.5;
-  Gc.compact ();
-  check ({ float = !float }.float = 4.5)
+  check ({ int = !int }.int = 123)
 
 let test_biniou_missing_field () =
   section "biniou missing record fields";