From c29dc4e4c86fbd0839273452794d1b77232c0b6d Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Fri, 20 Dec 2024 15:43:55 +0100
Subject: [PATCH] Remove initial utop crashing issue

---
 README.md | 43 -------------------------------------------
 1 file changed, 43 deletions(-)

diff --git a/README.md b/README.md
index fe6565e3..824f29b2 100644
--- a/README.md
+++ b/README.md
@@ -836,49 +836,6 @@ let () = List.iter (fun p -> Task.await pool p) [p0;p1;p2;p3;p4;p5]
 let () = Task.teardown_pool pool
 ```
 
-
-Utop segfault (known?, status?)
--------------------------------
-
-Utop segfaults when loading [src/domain/domain_spawntree.ml](src/domain/domain_spawntree.ml)
-interactively:
-
-``` ocaml
-$ utop
-──────────────────────────────────────────────┬─────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────
-                                              │ Welcome to utop version 2.8.0 (using OCaml version 4.12.0+domains)! │
-                                              └─────────────────────────────────────────────────────────────────────┘
-Findlib has been successfully loaded. Additional directives:
-  #require "package";;      to load a package
-  #list;;                   to list the available packages
-  #camlp4o;;                to load camlp4 (standard syntax)
-  #camlp4r;;                to load camlp4 (revised syntax)
-  #predicates "p,q,...";;   to set these predicates
-  Topfind.reset();;         to force that packages will be reloaded
-  #thread;;                 to enable threads
-
-
-Type #utop_help for help about using utop.
-
-utop # #require "ppx_deriving.show";;
-utop # #require "qcheck";;
-utop # #use "src/domain_spawntree.ml";;
-type cmd = Incr | Decr | Spawn of cmd list
-val pp_cmd : Format.formatter -> cmd -> unit = <fun>
-val show_cmd : cmd -> string = <fun>
-val count_spawns : cmd -> int = <fun>
-val gen : int -> int -> cmd Gen.t = <fun>
-val shrink_cmd : cmd Shrink.t = <fun>
-val interp : int -> cmd -> int = <fun>
-val dom_interp : int Atomic.t -> cmd -> unit = <fun>
-val t : max_depth:int -> max_width:int -> Test.t = <fun>
-random seed: 359528592
-Segmentation fault (core dumped)
-```
-
-This does not happen when running a plain `ocaml` top-level though, so it
-seems `utop`-specific.
-
 ---
 
 This project has been created and is maintained by <a href="https://tarides.com/">Tarides</a>.