diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:01:19 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 18:01:19 +0200 |
commit | e83236952ab0b4f2f486c2d89581349a3215bdb8 (patch) | |
tree | 71734273b9cfb776ee64e5cb66c91986d56635cf /src | |
parent | 677d88d7d3c48a43a45526ed72000d9c8c8a6e8b (diff) | |
download | smtcoq-e83236952ab0b4f2f486c2d89581349a3215bdb8.tar.gz smtcoq-e83236952ab0b4f2f486c2d89581349a3215bdb8.zip |
Remove unused record fieldSMTCoq-2.0+8.11
Diffstat (limited to 'src')
-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 } |