Merge PR coq#18469: Delay the lookup of csdp until the tool is actual…

…ly needed. Reviewed-by: ppedrot Co-authored-by: ppedrot <[email protected]>
SkySkimmer · Jan 9, 2024 · 1d4d5c8 · 1d4d5c8
2 parents 26d0505 + 8eb6ef7
commit 1d4d5c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins/micromega/coq_micromega.ml b/plugins/micromega/coq_micromega.ml
@@ -2194,7 +2194,7 @@ end)
   *)
 
 let require_csdp =
-  if System.is_in_system_path "csdp" then lazy () else lazy (raise CsdpNotFound)
+  lazy (if System.is_in_system_path "csdp" then () else raise CsdpNotFound)
 
 let really_call_csdpcert :
     provername -> micromega_polys -> Sos_types.positivstellensatz option =