From abe0badbe84a90bae4f20541781609ed0ebb3fb9 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Thu, 14 Oct 2021 17:07:25 +0200
Subject: Small optim

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

diff --git a/src/trace/smtAtom.ml b/src/trace/smtAtom.ml
index 1d608e6..06e1472 100644
--- a/src/trace/smtAtom.ml
+++ b/src/trace/smtAtom.ml
@@ -1351,7 +1351,7 @@ module Atom =
                       let c, _ = Structures.decompose_app ty in
                       Structures.eq_constr c (Lazy.force cCompDec)
                  then
-                   (x::[], xs)
+                   ([x], xs)
                  else
                    ([], l)
                | _ -> (x::l1, l2)
-- 
cgit