diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:04:22 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:04:22 +0200 |
| commit | b434a65bb31e18643547ec5861382c61b37c3e7a (patch) | |
| tree | 9a294e5d3bbe2aaf14c0f12fac26ecdc05ca3ab9 | |
| parent | 35ef283a7a9fcc2a805f52711978c73a1386ef29 (diff) | |
| parent | d5723431f165f0e42b061d4ad0c5145eef575b0e (diff) | |
| download | smtcoq-b434a65bb31e18643547ec5861382c61b37c3e7a.tar.gz smtcoq-b434a65bb31e18643547ec5861382c61b37c3e7a.zip | |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13SMTCoq-2.0+8.13
| -rw-r--r-- | src/smtlib2/smtlib2_solver.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smtlib2/smtlib2_solver.ml b/src/smtlib2/smtlib2_solver.ml index 68db604..a5ac845 100644 --- a/src/smtlib2/smtlib2_solver.ml +++ b/src/smtlib2/smtlib2_solver.ml @@ -15,7 +15,6 @@ open Format type result = Sat | Unsat type t = { - cmd : string array; pid : int; stdin : Unix.file_descr; stdout : Unix.file_descr; @@ -54,7 +53,7 @@ let create cmd = let lexbuf = Lexing.from_channel stdout_ch in (* Create the solver instance *) - { cmd; pid; + { pid; stdin = stdin_out; stdout = stdout_in; stderr = stderr_in; lexbuf } |