diff options
| -rw-r--r-- | proofs/signatures/example-arrays.plf | 2 |
1 files changed, 1 insertions, 1 deletions
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 : |