From 3cb105fdfeb68f5868f4eff58c5f320bf2cdce59 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@inria.fr>
Date: Fri, 15 May 2020 17:23:46 +0200
Subject: Typo

---
 src/trace/smtAtom.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src')

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
 
 
-- 
cgit