not caught exception on running Elle with list-append history

[ligurio]

sergeyb@pony:~/sources/ljepsen/elle-cli$ java -jar target/elle-cli-0.1.0-standalone.jar --model elle-list-append histories/elle/paper-example.edn                                                           
INFO [2021-12-28 20:59:39,428] main - elle.txn Timing out search for :G1c-realtime in SCC of 3 transactions                             
                                                                    
java.lang.IllegalStateException: Explainer  

[ligurio]

Fixed by commit e1b9562:

commit e1b9562bb2b2cd0a1f7f0cbe2957e0456ce14199 (HEAD)
Author: Aleksandr Sorokoumov <[email protected]>
Date:   Wed Feb 9 21:46:05 2022 +0100

    Make elle-cli defaults consistent with elle

sergeyb@pony:~/sources/ljepsen/elle-cli$ java -jar target/elle-cli-0.1.0-standalone.jar --model elle-list-append histories/elle/paper-example.edn       
histories/elle/paper-example.edn         false