diff options
Diffstat (limited to 'motus/js/motus.ml')
-rw-r--r-- | motus/js/motus.ml | 5 |
1 files changed, 4 insertions, 1 deletions
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 |