From 82bb54622a47bb092094c8efab8200b12817c5b4 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Fri, 11 Feb 2022 09:22:18 +0100
Subject: Hide structure in motus solver

---
 motus/js/motus.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'motus/js/motus.ml')

diff --git a/motus/js/motus.ml b/motus/js/motus.ml
index f2995df..a2bcbd3 100644
--- a/motus/js/motus.ml
+++ b/motus/js/motus.ml
@@ -172,7 +172,10 @@ let main
   let last_element =
     S.map
       (fun ev ->
-        match (ev.State.current_prop, ev.State.analysis.number) with
+        match
+          ( ev.State.current_prop
+          , Motus_lib.Persistence.list_size ev.State.analysis )
+        with
         | [], _ | _, 1 -> Some (Jstr.v "true")
         | _, _ -> None )
       ev
-- 
cgit v1.2.3