diff options
Diffstat (limited to 'src/smtlib2/smtlib2_solver.ml')
-rw-r--r-- | src/smtlib2/smtlib2_solver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smtlib2/smtlib2_solver.ml b/src/smtlib2/smtlib2_solver.ml index 3ee8229..8ae7202 100644 --- a/src/smtlib2/smtlib2_solver.ml +++ b/src/smtlib2/smtlib2_solver.ml @@ -82,7 +82,7 @@ let read_success s = | r -> error s r -let no_response _ = () +(* let no_response _ = () *) let read_check_result s = |