Merge branch 'sail2' into mappings

(involved some manual tinkering with gitignore, type_check, riscv)

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>