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

…ly needed.
coq · May 13, 2024 · ca44371 · ca44371
2 parents 8cf7d4e + 0da7e0b
commit ca44371
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 =