From: yoni206 Date: Tue, 20 Mar 2018 15:18:15 +0000 (-0700) Subject: correct instruction for running example (#1669) X-Git-Tag: cvc5-1.0.0~5234 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6dc4824f29cd2162d683458d85b5117b53780685;p=cvc5.git correct instruction for running example (#1669) --- diff --git a/proofs/signatures/example-arrays.plf b/proofs/signatures/example-arrays.plf index c454a6dfe..03dc0831c 100644 --- a/proofs/signatures/example-arrays.plf +++ b/proofs/signatures/example-arrays.plf @@ -1,4 +1,4 @@ -; to check, run : lfsc sat.plf smt.plf th_base.plf example.plf +; to check, run : lfscc sat.plf smt.plf th_base.plf th_arrays.plf example-arrays.plf ; -------------------------------------------------------------------------------- ; literals :