diff options
Diffstat (limited to 'src/trace')
-rw-r--r-- | src/trace/smtAtom.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/trace/smtAtom.ml b/src/trace/smtAtom.ml index a794def..b1762dc 100644 --- a/src/trace/smtAtom.ml +++ b/src/trace/smtAtom.ml @@ -821,7 +821,6 @@ module Atom = let tparams = Op.i_type_args op in Aapp(op, Array.mapi (fun i -> check_one tparams.(i)) args) in - close_out outc; a |