diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/usage.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/usage.tex b/doc/usage.tex index c37c835a..b7a47934 100644 --- a/doc/usage.tex +++ b/doc/usage.tex @@ -21,7 +21,7 @@ and \verb+riscv_vmem.sail+ describe the physical and virtual memory interaction, and then \verb+riscv_sys.sail+ and \verb+riscv.sail+ implement most of the specification. -For more complex projects, once can use \ll{$include} statements in +For more complex projects, one can use \ll{$include} statements in Sail source, for example: \begin{lstlisting} $include <library.sail> |