diff options
Diffstat (limited to 'tools/coqmktop.ml')
-rw-r--r-- | tools/coqmktop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqmktop.ml b/tools/coqmktop.ml index 81f0686e0..39a8ede9a 100644 --- a/tools/coqmktop.ml +++ b/tools/coqmktop.ml @@ -30,7 +30,7 @@ let safe_sys_command = cf. dev/dynlink.ml. *) (* 1. Core objects *) -let ocamlobjs = ["str.cma";"unix.cma";"nums.cma";"dynlink.cma"] +let ocamlobjs = ["str.cma";"unix.cma";"nums.cma";"dynlink.cma";"threads.cma"] let camlp4objs = if Coq_config.camlp4 = "camlp5" then ["gramlib.cma"] else ["camlp4lib.cma"] let libobjs = ocamlobjs @ camlp4objs |