From e83236952ab0b4f2f486c2d89581349a3215bdb8 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Wed, 4 May 2022 18:01:19 +0200
Subject: Remove unused record field

---
 src/smtlib2/smtlib2_solver.ml | 3 +--
 1 file changed, 1 insertion(+), 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 }
 
 
-- 
cgit