diff options
Diffstat (limited to 'src/constraint.ml')
| -rw-r--r-- | src/constraint.ml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/constraint.ml b/src/constraint.ml index 7debc902..1bd6a437 100644 --- a/src/constraint.ml +++ b/src/constraint.ml @@ -278,11 +278,9 @@ let call_smt' l constraints : smt_result = let rec input_lines chan = function | 0 -> [] | n -> - begin - let l = input_line chan in - let ls = input_lines chan (n - 1) in - l :: ls - end + let l = input_line chan in + let ls = input_lines chan (n - 1) in + l :: ls in let digest = Digest.string smt_file in |