--- contrib/micromega/coq_micromega.ml 2009-01-05 09:01:04.000000000 -0500
+++ contrib/micromega/coq_micromega.ml 2009-04-08 12:52:49.000000000 -0400
@@ -1192,9 +1192,7 @@
let tmp_from = Filename.temp_file "csdpcert" ".out" in
output_value ch_to (provername,poly : provername * micromega_polys);
close_out ch_to;
- let cmdname =
- List.fold_left Filename.concat (Envars.coqlib ())
- ["contrib"; "micromega"; "csdpcert" ^ Coq_config.exec_extension] in
+ let cmdname = "csdpcert" in
let c = Sys.command (cmdname ^" "^ tmp_to ^" "^ tmp_from) in
(try Sys.remove tmp_to with _ -> ());
if c <> 0 then Util.error ("Failed to call csdp certificate generator");