aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 539f006..cd7d7e5 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ sail-riscv
|
+---- model // Sail specification modules
|
-+---- generated_definitions // Files generated by Sail
++---- generated_definitions // Files generated by Sail, in RV32 and RV64 subdirectories
| |
| +---- c
| +---- ocaml