projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: db83224)
correct instruction for running example (#1669)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 20 Mar 2018 15:18:15 +0000 (08:18 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 20 Mar 2018 15:18:15 +0000 (10:18 -0500)
proofs/signatures/example-arrays.plf patch | blob | history

diff --git a/proofs/signatures/example-arrays.plf b/proofs/signatures/example-arrays.plf
index c454a6dfe5eb682fb3caca11fbf30094f6b7e17e..03dc0831c2d222e60e0c87ab6d55f6a33c363cb3 100644 (file)
--- 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 :